ambiguity - 检查歧义语法

Question

下面的语法有歧义吗？

       S -> AS | ε

       A -> A1 | 0A1 | 01

在我看来，它们是模棱两可的

           A -> A1->0A11->00111

再次，

          A-> 0A1 ->0A11->00111

我对吗？

Answer 1

你是对的。这是模棱两可的，因为给定字符串有不止一个最左边的推导。