左递归的消除

 

2．间接左递归的消除

消除间接左递归的方法是，把间接左递归文法改写为直接左递归文法，然后用消除直接左递归的方法改写文法。

如果一个文法不含有回路，即形如PP的推导，也不含有以ε为右部的产生式，那么就可以采用下述算法消除文法的所有左递归。

消除左递归算法：

• 把文法G的所有非终结符按任一顺序排列，例如，A1，A2，…，An。

for （i＝1；i<=n；i++）

for （j＝1；j<=i－1；j++）

{   把形如Ai→Ajγ的产生式改写成Ai→δ1γ /δ2γ /…/δkγ

其中Aj→δ1 /δ2 /…/δk是关于的Aj全部规则；

消除Ai规则中的直接左递归；

}

• 化简由（2）所得到的文法，即去掉多余的规则。

利用此算法可以将上述文法进行改写，来消除左递归。

首先，令非终结符的排序为R、Q、S。对于R，不存在直接左递归。把R代入到Q中的相关规则中，则Q的规则变为Q→Sab/ ab/ b。

代换后的Q不含有直接左递归，将其代入S，S的规则变为S→Sabc/ abc/ bc/ c。

此时，S存在直接左递归。在消除了S的直接左递归后，得到整个文法为：

S→abcS’/ bcS’/ cS’

S’ →abcS’/ ε

Q→Sab/ ab/ b

R→Sa/ a

可以看到从文法开始符号S出发，永远无法达到Q和R，所以关于Q和R的规则是多余的，将其删除并化简，最后得到文法G[S]为：

S→abcS’/ bcS’/ cS’

S’ →abcS’/ ε

当然如果对文法非终结符排序的不同，最后得到的文法在形式上可能不一样，但它们都是等价的。例如，如果对上述非终结符排序选为S、Q、R，那么最后得到的文法G[R]为：

R→bcaR’/ caR’/ aR’

R’ →bcaR’/ ε

容易证明上述两个文法是等价的。

指明是否存在左递归，以及左递归的类型。对于直接左递归，可将其改为直接右递归；对于间接左递归（也称文法左递归），则应按照算法给出非终结符不同排列的等价的消除左递归后的文法。（应该有n！种）