消除左递归文法
无法根据左递归文法编写出递归下降分析器,因而把左递归文法等价变换为非左递归文法至关重要,以下是变换的算法:
1、消除直接左递归
原文法: E --> E a1 | E a2 | ... | E an | b1 | b2 | ... | bn
消除后: E --> b1 E' | b2 E' | ... | bn E'
E'--> a1 E' | a2 E' | ... | an E' | epsilon
2、消除间接左递归
a) 把所有非终结符号按一定序列排序为E1, E2, ... En;
b) for i=1 to n do /*依次处理每个非终结符号*/
for j=1 to i-1 do /*处理第1个到i-1个*/
若Ei --> Ej r
则改为Ei --> S1 r | S2 r | ... | Sk r
其中Ej --> S1 | S2 | ... | Sk
c) 对Ei消除直接左递归。
注:非终结符的排列顺序不同,结果可能不同。
3、去掉无用符号和无用产生式