从类 BNF 语法到 Java 或 C++

Question

我会将此代码用于非常基本的计算器编译器和解释器。

如何将此语法转换为 C++ 或 Java？

expr         ->term moreterms

moreterms    -> +term {print(‘+’)} moreterms
         |‐term {print(‘‐’)} moreterms
         |ε

term        ->factor morefactors

morefactors ->*factor {print(‘*’)} morefactors
         |/factor {print(‘/’)} morefactors
         |ε

factor      ->(expr)
         |id {print(id)}
         |num {print(num)}

Answer 1

你看过Yacc了吗？这可能正是您正在寻找的。

Answer 2

从 Yacc 到提振精神，有许多工具可以提取语法并生成解析器。

编写解析器的艺术已被广泛研究。这不是微不足道的。一种方法是确定您是否可以将 BNF 转换为 LR(1) 文法并为其编写 LR 解析器。

一种简单的解析方法是将解析分为标记化（将事物捆绑到标识符中）和语法树生成。

Wikipedia has a cursory description of LR parsing. Knuth's Canonical LR(1) parser也值得一看

教授如何编写 LR(1) 解析器（有任何限制，更不用说 LR(k) 解析器）是短期大学课程或书籍章节的问题，而不是堆栈溢出 post.

但总体思路是您从左到右阅读。您向前看 k 个标记（通常为 1 个）以确定将哪个规则应用于您遇到的下一个标记。您自下而上构建解析树。

有很多技术细节、技巧、怪癖和问题。不是每个 BNF 文法都可以变成 LR(1) 文法，更不用说许多解析生成器可以处理的受限文法了。

正如@UnholySheep 提到的那样，The Dragon Book 是大多数人学习这些技术的书。

从类 BNF 语法到 Java 或 C++

From BNF-like grammar to Java or C++

java

c++

bnf