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、去掉无用符号和无用产生式