我正在尝试为编程语言编写一个（非常）小的解释器/编译器。我已经设置了语言的语法，现在我需要写下语言的语法。我打算使用LL（1）解析器，因为经过一些研究后，它似乎最容易使用。
我是这个领域的新手，但是从我收集的内容来看，强烈建议使用BNF或EBNF来形式化语法。但是，似乎并非所有语法都适合使用LL（1）解析器实现。因此，我想知道以LL（1）形式编写语法的正确（或推荐）方法是什么。
感谢您的帮助， 查理。
PS：我打算用Haskell的Parsec库编写解析器。
编辑：另外，根据SK逻辑，Parsec可以处理无限前瞻（LL（k）？） - 但我想这个问题仍然代表这种语法。
答案 0 :(得分：3)
我不是这方面的专家，因为我只使用LR（0）解析器创建了一个类似的小项目。我建议采用的一般方法：
让算术工作。通过这个，为+, -, /, *等制定规则和派生，并确保解析器生成一个有效的抽象语法树。测试和评估不同输入的树，以确保它正确地执行算术。
一步一步做事。如果您遇到任何冲突，请在继续之前先解决。
让{simper}构造像if-then-else或case表达式一样有效。
更进一步取决于你所编写语法的语言。
绝对检查出其他编程语言语法作为参考（遗憾的是，我没有在1分钟内找到任何在线任何语言的完整LL语法，但LR语法也应该作为参考有用）。例如：
当然，维基百科中有关LL语法Wikipedia LL Parser的一些小例子，你可能已经检查过了。
我希望你能找到一些有用的东西
答案 1 :(得分：2)
有用于确定语法是否为LL（k）的算法。解析器生成器实现它们。如果可能的话，还有将语法转换为LL（k）的启发式方法。
但是您不需要将简单语言限制为LL（1），因为大多数现代解析器生成器（JavaCC，ANTLR，Pyparsing和其他人都可以处理任何语言LL（k）中的k。
更重要的是，您认为语言 best 的语法很可能需要k介于2和4之间，因为有几种常见的编程结构。
答案 2 :(得分：1)
首先，你不一定希望你的语法是LL（1）。它使得编写解析器更简单并且可能提供更好的性能，但它确实意味着您的语言可能最终会比常用语言（通常不是LL（1））更冗长。
如果没关系，你的下一步是精神上逐步完成语法，想象那时可能出现的所有可能性，并检查它们是否可以通过他们的第一个标记来区分。
制作语法LL（1）
有两个主要的经验法则