消除间接左递归

Question

我正在尝试消除A和B之间的间接左递归。C具有直接递归，但是我无法解决间接递归。

这是模棱两可的语法：

A -> Ba | C
B -> AA
C -> Cc | b

我以这种方式解决了直接递归：

C -> bC'
C'-> cC' | ε

所以现在我被封锁在这里

A -> Ba | C
B -> AA
C -> bC'
C'-> cC' | ε

谢谢！