这是 BNF 语法 LL(1) 吗？

Question

如果下面的 BNF 语法是 LL(1)，有人可以帮我确认一下吗：

S ::= A B B A
A ::= a
A ::=
B ::= b
B ::=

其中 S 是起始符号，非终结符 A 和 B 可以导出为 epsilon。我知道解析表中的单个单元格中是否有 2 个或多个产生式，那么语法不是 LL(1)。但是如果一个单元格已经包含 epsilon，我们可以在构建解析表时安全地用新的产生式替换它吗？

Answer 1

这个文法是模棱两可的，因此对于任何 k 都不是 LL(1)，也不是 LL(k)。

将单个a 或b 作为输入，并查看它可以与来自S 的A 或B 引用中的任何一个匹配。这样就有了两种不同的解析树，证明语法是歧义的。