《编译原理》课程PPT-03.pptVIP

* 化简文法 例：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 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 anbm|n,m 1 的三型文法为： S- aA A- aA|B B- bB|b ? 2 anbmck|n,m,k 0 的三型文法为: A- aA|B B- bB|C C- cC|ε 第6题 L G2 ambn|m，n 0 * * A grammar G is defined as a 4-tuple VN，VT，P，S VN is a set of nonterminals VT is a set of terminals P is a set of productions，each production consists of a left side,an arrow or ‘:: ‘ ,and a right side S is a designation of one of the nonterminals as the start symbol V VN ∪ VT is the alphabet of G * 用上下文有关文法描述程序语言不仅相当困难，将使语法定义变得烦杂，难懂，而且一般不能构造有效的分析程序，因此，通常用上下文无关文法描述，而把与上下文有关的限制包含在非形式描述的全局语法与语义中。 * 文法的等价 若L（G1） L（G