编译原理与课件ch3-3 .pptVIP

编译原理 中国海洋大学计算机系 葛 琳 green.lyn@ 回顾 正规式和上下文无关文法的关系 正规式能描述的语言都可以用上下文无关文法描述，并且正规式表示可机械转换为上下文无关文法的表示。 在编程语言的设计中，正规式描述关键字、标识符、常数等词法结构，上下文无关文法描述配对和嵌套等语法结构。 回顾（续） 如何验证文法产生的语言？ 证明：1. 该文法产生的是这种语言的句子 2. 这种语言的所有句子都能由该文法 产生。 证明用到归纳法。 回顾（续） 无用符号和无用产生式的删除*（P31/2.4.1节） 无用符号和无用产生式的定义 无用符号和无用产生式删除的算法： 从G构造G1使得每个非终结符都能够推导出终结符号串。 从G1构造G2使得每个符号都能出现在从S推导出的句型中。 以上两条顺序不能颠倒。 回顾（续） 单产生式消除*（P35/2.4.3节） 单产生式定义： A?B，B是非终结符 单产生式消除算法： 为每个非终结符Ai构造集合W(Ai) 根据W(Ai)构造新的产生式集合 回顾（续） ?-产生式消除*（P33/2.4.2节） ?-产生式： A?? ?-产生式消除算法： 找出所有能够推导出?的非终结符集合W，判断S是否属于W，从而判定?是否属于L(G) 若??L(G) ，用算法3.5（课本算法2.4）求新的