下面介绍如何删除左递归

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