4.第2章高级语言及其文法3.pptVIP

第2章 高级语言及其文法（3）;本章主要内容;2.４ 文法的分类(Chomsky体系);2.4.1文法与语言的分类;1型文法（或称上下文有关文法）;2型文法（或称上下文无关文法）;3型文法（或称正规文法、正则文法）;例2-3 标识符的文法2;例2-4 标识符的文法3;正规文法(RG);例 非CFL的文法;?在我们使用的程序语言中,有些语言结构并不是总能用上下文无关文法描述的。 例 L1={wcw|w∈{a,b}+}。例,aabcaab就是L1的一个句子。这个语言是检查程序中标识符的声明应先于引用的抽象。 ?例 L2={anbmcndm|n,m≥0}，它是检查过程声明的形参个数和过程引用的参数个数是否一致问题的抽象。;Chomsky体系——总结;Chomsky体系——总结;四种文法之间的关系是将产生式作进一步限制而定义的 四种文法之间的逐级“包含”关系如下：;ＢＮＦ范式——Backus-Naur Form Backus-Normal Form;ＢＮＦ范式——Backus Normal Form;例2-5 句子??构的表示 (文法E→E+E|E*E|(E)|id ）; 1. 描述一个句子的文法不是唯一的； 2. 对于一个句子的分析应是唯一的。 考虑表达式下面的文法 G[E],其产生式如下： E?E+E?E*E? (E) ? id ;文法的二义性; E?E+E ?a1+E ?a1+E*E ?a1+a2*E ?a1+a2*a3; E ?E*E ?E*a3 ?E+E*a3 ?E+a2*a3 ?a1+a2 *a3;如果一个文法的句子存在两棵分析树,那么,该句子是二义性的 如果一个文法包含二义性的句子,则称这个文法是二义性的; 否则，该文法是无二义性的;1 . 一般来说,高级程序设计语言存在无二义性文法,但有时用二义性文法。如：表达式文法、条件语句文法 S? if expr then S ?if expr then S else S ? other 二义性的句子: if e1 then if e2 then s1 else s2 E→E+E|E-E|E*E|E/E|( E )| id 无二义性文法较复杂 E→E+T|E-T|T T→T*F|T/F|F F→( E )| id ;文法的二义性;文法的二义性;文法的二义性;文法的二义性;参考书：(抽象)语法树不同;2.6 文法的构造——为了更好地理解文法;文法举例;例2-7：{w|w为十进制数};无用产生式与无用符号;文法构造小结;值得注意的问题;本章小结：