消除改写文法的左递归.PPTVIP

 文法等价变换 文法的等价 对文法G1和G2，若有：L(G1)=L(G2)，则称文法G1和G2等价, 记作:G1=G2. 文法等价变换 有些语法分析方法要求被分析的文法满足一定的约束条件，当被分析的文法不满足这些条件是，常常要进行文法变换。 例: G1[S]: S → abSA | a 　　A → b 　　 G2[Z]: 　 Z →S 　　 S → abSA |a 　　 A →b 例 ：设有如下文法 A ? aBcD B ? b | ? D ? BB | d 消除该文法中的空产生式. 解： (1) ?={B} ?={B, D} (2) A ? aBcD B ? b D ? BB | d 4：消除特型产生式 特型产生式 若文法中的产生式具有形式A?B（B为非终极符），则称该产生式为特型产生式. 特型产生式的缺点是在语法分析中会降低分析的速度，因此应该消除这样的产生式. 证明：构造无特型产生式的文法G2的方法如下： (1) 对文法G1中每个非终极符A，求集合: ?A={B | A=+B, B?VN}. (2) 若B??A，且B??是文法G中的一个非特型产生式，则补充如下规则： A?? (3) 去掉文法G1中的所有的特型产生式. (4) 去掉新的文法中的无用产生式. 例 设有如下文法 A?B | D | aB B?C | b C?c D?B | d 消除该文法中的特型产生式. 解：?A={B, D, C} ?B={C} ?C={ } ?D={B, C} 根据算法第2步在文法中补充如下规则 A?b | d | c B?c D?b | c 去掉文法中的特型产生式，得到如下文法 A ? aB | b | d | c B ? b | c C?c D? b | c | d 其中关于C和D的产生式是无用产生式，应去掉. 5：消除公共前缀 公共前缀: A→??，A→?? 这种情形不满足自顶向下的语法分析条件. 消除方法：可用提取左因子的方法. 假定关于Ａ的规则是： A???1 | ??2 |…| ??n | ?1| ?2 |…| γm 则将这些规则写成： A??A’ | ?1 |γ2|…|γm A’??1 | ?2 |…|?n 练习： 1.设有如下文法，画出句型（adSdS）的语法树并写出其短语、简单短语和句柄。 S? a | b | ( A ) A? S d A | S 2、试将描述命题演算公式的二义性文法G(S)改写为等价的无二义性文法。优先级： ( ) 非not 合取and 析取or S? S and S | S or S | not S | p |q | (S) 参照表达式文法转换 3、消除改写文法的左递归。 1.设有如下文法，画出句型（adSdS）的语法树并写出其短语、简单短语和句柄。 S? a | b | ( A ) A? S d A | S 2、试将描述命题演算公式的二义性文法G(S)改写为等价的无二义性文法。优先级： ( ) 非not 合取and 析取or S? S and S | S or S | not S | p |q | (S) 参照表达式文法转换 * * 增补产生式 消除空产生式 消除不可达产生式 消除特型产生式 消除公共前缀 消除左递归 重要的文法等价变换 1.增补产生式 何时需要增补：在自底向上语法分析中需要。 定理：对任一文法G1都可以构造文法G2，使得L(G1)=L(G2)，且G2的开始符唯一且不出现于任何产生式的右部。 证明：假设S是G1的开始符，则只要在G1中扩充一条新产生式Z?S即可，其中Z是新的开始符。另这样扩充后的文法为G2，则它显然满足定理的要求。 * 2.消除空产生式 定理：对任一文法G1，可构造文法G2，使得L(G1)=L(G2)，且G2中无空产生式。 证明：根据G1，构造G2的方法如下： 令?={A | A??}，?=??{A | A ?+ ?, ???+}； 从G1中删除所有形如A??的产生式。 从G1删除只能导出