《语言分析基础》PPT课件.ppt

《《语言分析基础》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1第二章语言分析基础2语言分析基础文法和语言概述字母表和符号串文法和语言的形式定义文法的类型上下文无关文法及其语法树句型的分析有关文法实用中的说明3让计算机熟悉和掌握源语言和目标语言编译程序研究如何将源语言程序翻译为目标语言程序。源程序目标程序编译程序2.1文法和语言概述4源程序目标程序编译程序2.1文法和语言概述让计算机掌握语言的语法和语义编译程序研究如何将源语言程序翻译为目标语言程序。5文法是对语法进行形式化描述的工具源程序目标程序编译程序2.1文法和语言概述对语法和语义进行形式化描述编译程序研究如何将源语言程序

2、翻译为目标语言程序。6文法的直观概念语言是由句子组成的集合，是由一组符号所构成的集合。自然语言语言句子的集合句子多个单词按一定规则组成单词多个字符按一定规则组成程序语言编程语言程序的集合程序多个单词按语法规则组成单词多个字符按词法规则组成2.1文法和语言概述72.1文法和语言概述语言的描述穷举：如，L={Iamateacher,Youarestudents}文法：制定有限条规则，用来产生所要描述的语言中全部句子的集合。例：“我是大学生”是否是汉语的一个句子？〈句子〉∷=〈主语〉〈谓语〉〈主语〉∷=〈代词〉｜〈名词〉〈

3、代词〉∷=我｜你｜他〈名词〉∷=王明｜大学生｜工人｜英语〈谓语〉∷=〈动词〉〈直接宾语〉〈动词〉∷=是｜学习〈直接宾语〉∷=〈代词〉｜〈名词〉如何定义句子的合法性?有穷语言：只需逐一列举句子无穷语言：使用文法定义句子结构，用适当条数的规则把语言的全部句子描述出来。文法是以有穷集合刻划无穷的集合的工具。8如何定义句子的合法性？有穷语言：只需逐一列举句子无穷语言：使用文法定义句子结构，用适当条数的规则把语言的全部句子描述出来。文法是以有穷集合刻划无穷的集合的工具。92.1文法和语言概述〈句子〉∷=〈主语〉〈谓语〉〈主语〉

4、∷=〈代词〉｜〈名词〉〈代词〉∷=我｜你｜他〈名词〉∷=王明｜大学生｜工人｜英语〈谓语〉∷=〈动词〉〈直接宾语〉〈动词〉∷=是｜学习〈直接宾语〉∷=〈代词〉｜〈名词〉〈句子〉〈主语〉〈谓语〉〈代词〉〈谓语〉我〈谓语〉我〈动词〉〈直接宾语〉我是〈直接宾语〉我是〈名词〉我是大学生“我是大学生”是汉语的一个句子。有穷非空的规则的集合就称为文法。这些规则看成是一种元语言，用它描述汉语。文法是程序语言的产生系统“大学生是”？？“我学习大学生”？？×√〈句子〉∷=〈主语〉〈谓语〉〈主语〉∷=〈代词〉｜〈名词〉〈代词

5、〉∷=我｜你｜他〈名词〉∷=王明｜大学生｜工人｜英语〈谓语〉∷=〈动词〉〈直接宾语〉〈动词〉〈动词〉∷=是｜学习〈直接宾语〉∷=〈代词〉｜〈名词〉102.1文法和语言概述规则集<句子>::=<主语><谓语><状语><主语>::=<名词><谓语>::=<动词><状语>::=<介词><名词><名词>::=<动词>::=<介词>::=产生的语言{Peterswimsinriver,Riverswimsinriver,PeterswimsinPeter,Riverswimsi

6、nPeter}产生语言的规则示例112.1文法和语言概述一个程序设计语言是一个记号系统。程序设计语言研究的三个方面语法（Syntax）：各记号之间的组合规律。语义（Semantics）：各记号的特定含义。语用（Pragmatics）：各记号的来源、使用和影响。例：对于赋值语句x:=a+bc的非形式描述是：语法：赋值语句=变量+:=+表达式语义：先求右部，然后把结果给左部变量语用：赋值语句可用来计算和保存表达式的值12形式化方法：用一整套带有严格规定的符号体系来描述问题的理论和方法。形式语言：一种不考虑含义的符号语言。

7、形式语言抽象地定义为一个数学系统。形式语言是程序设计语言语法分析研究的基础。2.1文法和语言概述13字母表：符号的非空有限集例：={0，1}2.2字母表和符号串符号：字母表中的元素。例：0，1符号串：由字母表中的符号组成的任何有穷序列例：0,1,01,10,011，...空符号串：无任何符号的符号串，用ε表示符号串的长度：符号串S中符号的个数,记为S。C语言的字母表：A＝{a,b,…,0,1,…,9,+,－,×,/,(,),=，…，if,else,for，...}不对，={if,else,for,while}符号

8、就是字符，对吗？14从符号串s的尾部删去若干个(包括0个)符号之后所余下的部分称为s的前缀；从符号串s的前部删去若干个(包括0个)符号之后所余下的部分称为s的后缀。ε，0，01及011都是符号串011的前缀ε，1，11及011都是符号串011的后缀符号串集合：若集合A中的一切元素都是某字母表上的符号串，则称A为该字母表上的符号串集合。例：={