检查歧义语法

Question

以下语法是否含糊不清？

       S -> AS | ε

       A -> A1 | 0A1 | 01

在我看来，他们是暧昧的

           A -> A1->0A11->00111

再次

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

我是对的吗？

Answer 1

是的，你是对的。这是不明确的，因为给定字符串有多个最左边的派生。