如何删除以下的左递归？

Question

这是制作。

A-> Aa| b|c;

现在我要做

A->bA' 
A'-> aA' | e (empty transition)
A->c

这是正确的答案吗？那可以使用“b”还是“c”？

Answer 1

我会说，开头必须有'b'或'c'，所以更像这样：

A -> bA' | cA' 
A'-> aA' | e