编译原理：直接左递归和间接左递归的消除

1．直接左递归的消除

采用扩充BNF表示
设有产生式 A→Aα |Aα |…|Aα |β |β |…|β
设有产生式 A→Aα|Aα|…|Aα|β|β|…|β 引进新的非终结符号，将左递归改写为右递归。
设有产生式 A→Aα |Aα |…|Aα |β |β |…|β
设有产生式 A→Aα1|Aα2|…|Aαm|β1|β2|…|βn
其中yi(i=1，2，…，n)均不以符号U为首，增加新非终结
符号U′，将上述产生式变换为
A→β1A′|β2A′|…|βnA′
A′→α1A′|α2A′|…|αmA′|ε
2．左递归的消除 (left recursion removal)
⑴ 以某种顺序将文法非终结符排列A1 ，A2 ，…，An；
⑵ 改写文法;
⑶化简由⑵得到的文法。

2．间接左递归的消除 (left recursion removal)

⑵改写文法
执行循环：
FOR i:=1 TO n DO
BEGIN
①FOR j:=1 TO i-1 DO
将产生式规则Ai→Aj γ改写
{方法：若Aj→ δ1| δ2|…|δm，则Ai→δ1γ |δ2γ |…|δm γ}；
②消除Ai产生式中的直接递归
END

例题：