第二章前后文无关文法和语言.pptVIP

第二章 前后文无关文法和语言 语言及其表示方法 文法的定义 由文法产生句子 有关定义和记号 语言的形式文法 句型的分析 文法和语言的乔姆斯基分类 重点和难点 重点： 本章中涉及的概念和术语的理解 文法和语言的形式定义 难点： 短语和句柄的识别 二义性文法的判定 2.1 语言及其表示方法 规定一种语言首先要规定它各种构造成分的形式，词汇、句子等的构造规则及表示法。 编译原理则应建立有关语言的数学化（形式化）模型，以便对程序语言进行研究。 定义1：相当大的地区内公众所懂得并使用的“话”，以及组成这些“话”的方法的统一体。 缺点：不够形式化和精确化 定义2：某一个字母表上的符号串的（句子）的集合。 缺点：缺乏语言句子的结构性组成描述， 缺乏判断任一符号串是否为合法句子判断机制。 因此，如果能刻画一个语言句子，就定义了该语言。 1956年，chomsky建立文法的数学模型，对形式化语言和自动机理论的研究取得较大的成果。 1960年。P.Nuaur和J.Boukas首先用BNF成功对ALGOL语言的文法进行了描述，虽然对语义形式化描述不理想，但在程序设计语言的语法描述上有足够的能力。 至此，程序语言就有了形式化表述。 枚举（句子有限） 例：L={We are learning computer science,it is int