如何消除左递归

Question

我读过很多东西，但规则不能适用于以下语法

S -> SS 
S -> (S) 
S ->() 

Answer 1

根据规则：

A -> A a 
    | b 

应该是：

A -> b A' 
A' -> a A' 
    | e 

其中e是ε。所以，你的情况：

S -> S S 
    | (S) 
    | () 

它应该是：

S -> (b) S' 
S' -> S S' 
    | e 
b -> S 
    | e