编译原理讲.pptVIP

第三章 文法和语言 第三章 文法和语言 程序设计语言 自然语言 语法：一组规则 上下文无关文法 语义：含义是否正确 静态语义、动态语义 本章目的：为语言的语法描述寻求工具 主要内容：文法和语言的基本概念 重点：上下文无关文法、句型分析 第三章 文法和语言 3.1 文法的直观概念 3.2 符号和符号串 3.3 文法和语言的形式定义 3.4 文法的类型 3.5 上下文无关文法及其语法树 3.6 句型的分析 3.7 有关文法中的一些实用说明 3.1 文法的直观概念 如何表述语言？ 语言只有有限个句子：枚举 无穷个句子： 怎么办？ 给出一些规则，用这些规则来说明(或者定义)句子的组成结构，比如汉语句子可以是由主语后随谓语而成，构成谓语的是动词和直接宾语 3.1 文法的直观概念 汉语中句子的构成规则： 〈句子〉∷= 〈主语〉〈谓语〉 〈主语〉∷= 〈代词〉｜〈名词〉 〈代词〉∷= 我｜你｜他 〈名词〉∷= 王明｜大学生｜工人｜英语 〈谓语〉∷= 〈动词〉〈直接宾语〉 〈动词〉∷= 是｜学习 〈直接宾语〉∷= 〈代词〉｜〈名词〉 “我是大学生”符合上述规则，是汉语的一个句子。 3.1 文法的直观概念 有了一组规则以后，按照如下方式用它们导出句子：开始去找∷=左端的带有〈句子〉的规则并把它由∷=右端的符号串代替，这个动作表示成： 〈句子〉 ? 〈主语〉〈谓语〉， 然后在得到的串〈主语〉〈谓语〉中，选取〈主语〉或〈谓语〉，再用相应规则的∷=右端代替之。比如，选取了〈主语〉，并采用规则〈主语〉∷=〈代词〉， 那么得到：〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉， 重复做下去 句子：“我是大学生”的全部动作过程是： 〈句子〉 ? 〈主语〉〈谓语〉 ? 〈代词〉〈谓语〉  ? 我〈谓语〉 ? 我〈动词〉〈直接宾语〉  ? 我是〈直接宾语〉 ? 我是〈名词〉 ? 我是大学生 3.1 文法的直观概念 规则：判断句子结构是否合法 用于语言的结构描述：文法 3.1 文法的直观概念 语言是由句子组成的集合，是由一组符号所构成的集合。 汉语--所有符合汉语语法的句子的全体 英语--所有符合英语语法的句子的全体 程序设计语言--所有该语言的程序的全体 每个句子构成的规律 研究语言 每个句子的含义 每个句子和使用者的关系 3.1 文法的直观概念 研究程序设计语言 每个程序构成的规律 每个程序的含义 每个程序和使用者的关系 语言研究的三个方面 语法：表示构成语言句子的各个记号之间的组合规律 语义：表示各个记号的特定含义。 语用：表示在各个记号所出现的行为中，它们的来源、使用和影响。 3.1 文法的直观概念 每种语言具有两个可识别的特性，即语言的形式和该形式相关联的意义。 语言的实例若在语法上是正确的，其相关联的意义可以从两个观点来看，其一是该句子的创立者所想要表示的意义，另一是接收者所检验到的意义。这两个意义并非总是一样的，前者称为语言的语义，后者是其语用意义。幽默、双关语和谜语就是利用这两方面意义间的差异。 3.1 文法的直观概念 如果不考虑语义和语用，即只从语法这一侧面来看语言，这种意义下的语言称作形式语言。形式语言抽象地定义为一个数学系统。“形式”是指这样的事实：语言的所有规则只以什麽符号串能出现的方式来陈述。形式语言理论是对符号串集合的表示法、结构及其特性的研究。是程序设计语言语法分析研究的基础。 3.2 符号和符号串 符号：可以相互区别的记号（元素）。 字母表?：符号（元素）的非空有穷集合。 符号串：由字母表?中的符号组成的任何有穷序列称为该字母表上的符号串。（顺序） 1.空符号串ε(没有符号的符号串)是?上的符号串 2.若x是?上的符号串,a是?的元素,则xa是?上的符号串 3. y是?上的符号串,当且仅当它可以由1和2导出。 例如： Σ={a,b} ε,a,b,aa,ab,aabba…都是?上的符号串 3.2 符号和符号串 符号串s的头（前缀）：移走符号串s尾部的零个或多于零个符号得到的符号串. 如： b是符号串banana的一个前缀. 符号串s的尾（后缀）：删去符号串s头部的零个或多于零个符号得到的符号串. 如:nana是符号串banana的一个后缀. 符号串s的子串：从s中删去一个前缀和一个后缀得到的符号串. 如:ana是符号串banana的一个子串. 3.2 符号和符号串 符号串的运算 符号串的长度：符号串中符号的个数.符号串s的长度记为|s|。 ε的长度为0 符号串的连