是否可以使用 BNF 语法创建 LL 解析器？

Question

我在 google 上查看是否可以使用 BNF 语法创建 LL 解析器，但我在 wikipedia 上看到他们使用类似的东西

S → F
S → ( S + F )
F → a

这不是 BNF 语法。是否可以使用 BNF 语法来创建 LL 解析器，或者您必须只使用 LL 语法？

谢谢

Answer 1

是的，你可以。 BNF 只是一种表示上下文无关文法的符号。大致 ::= 是箭头，出现在左侧的 <symbol> 是非终结符，“文字”是终结符（参见 here）

考虑到并非所有上下文无关文法都是 LL(1)，有些文法没有 LL 解析器。

如果您使用解析器生成器，您会很快发现您的语法是否为 LL。但如果不是，可能很难纠正（尤其是如果您没有语言理论背景）。