编译原理chapter3.pptVIP

* 化简文法 例：G[S] ： 1) S→Be 2) B→Ce 3) B→Af 4) A→Ae 5) A→e 6) C→Cf 7) D→f 例：G[S] ： 1) S→Be 2) B→Ce D为不可到达 3) B→Af C为不可终止 4) A→Ae 5) A→e 6) C→Cf 7) D→f 产生式 2），6），7）为多余规则应去掉。 * 上下文无关文法中的ε规则 上下文无关文法中某些规则可具有形式A→ε，称这种规则为ε规则。 因为ε规则会使得有关文法的一些讨论和证明变得复杂,有时会限制这种规则的出现。两种定义的唯一差别是ε句子在不在语言中。 文法构思的启示是要找出语言的有穷描述，而如果语言L有一个有穷的描述，则L1=L∪｛ε｝也同样有一个有穷的描述，并且可以证明，若L是上下文有关语言、上下文无关语言或正规语言，则L∪｛ε｝和L-｛ε｝分别是上下文有关语言、上下文无关语言和正规语言。 * 练习 1. 写一文法，使其语言是偶正整数的集合。要求： (1)允许0打头 (2)?不允许0打头 ?2.证明下述文法G［〈表达式〉］是二义的。 〈表达式〉∷=a|(〈表达式〉)|〈表达式〉〈运算符〉〈表达式〉 〈运算符〉∷=+|-|*|/ ?3. 令文法G［E］为： E→T|E+T|E-T T→F|T*F|T/F F→(E)|i 证明E+T*F是它的一个句型 * 练习 4. 给出生成下述语言的上下文无关文法： (1) { anbnambm| n，m=0} (2) { 1n0m 1m0n| n，m=0} 5. 给出生成下述语言的三型文法： (1) { anbm|n,m=1 } (2){anbmck|n,m,k=0 } 6. （P48 2、4、10） ? G2(S)：S ? AB A ? aA|a B ? bB|b G2(S)的语言? * 练习参考答案 第1题 (1)允许0开头的偶正整数集合的文法 E-NT|D T-NT|D N-D|1|3|5|7|9 D-0|2|4|6|8 (2)不允许0开头的偶正整数集合的文法 E-NT|D T-FT|G N-D|1|3|5|7|9 D-2|4|6|8 F-N|0 G-D|0 * 练习参考答案 第2题 可为句子a+a*a构造两个不同的最右推导: 最右推导1 〈表达式〉?〈表达式〉〈运算符〉〈表达式〉 ?〈表达式〉〈运算符〉a ?〈表达式〉* a ?〈表达式〉〈运算符〉〈表达式〉* a ? 〈表达式〉〈运算符〉a * a ?〈表达式〉+ a * a ? a + a * a 最右推导2 〈表达式〉?〈表达式〉〈运算符〉〈表达式〉 ?〈表达式〉〈运算符〉〈表达式〉〈运算符〉〈表达式〉 ?〈表达式〉〈运算符〉〈表达式〉〈运算符〉 a ?〈表达式〉〈运算符〉〈表达式〉 * a ? 〈表达式〉〈运算符〉a * a ?〈表达式〉+ a * a ? a + a * a * 练习参考答案 ?第3题，G[E]为: E-E+T|E-T T-T*F|T/F|F F-(E)|I 因为存在推导序列: E ? E+T ? E + T * F 所以 E+T*F为所给文法的一个合法句型。 句型 E+T*F的 短语有:E+T*F,T*F 直接短语有:T*F 句柄为:T*F * 练习参考答案 第4题 （1）{ anbnambm| n，m=0} (2) { 1n0m 1m0n| n，m=0} S-AA S-1S0|A A-aAb|ε A-0A1|ε ? 第5题， (1){ anb