使用 JFlex 和 CUP 的形式需求规范语言的编译器构造

Question

我计划为需求规范语言构建编译器。我想出了使用 JFlex 作为词法分析器和 CUP 作为解析器的想法。

谁能告诉我可以使用JFlex和CUP作为正式的规范语言？所有文档和教程仅与编程语言相关。

任何可用于构建形式语言编译器的教程。

Answer 1

词法分析器和解析器生成器不关心你的语言是否是"传统的计算机语言"，只关心你的语言有一个他们可以处理的语法规范。

通常，您获得此类语法规范的方式是采用给定的形式系统规范，并根据所选解析器生成器的约束对其进行弯曲。 这种弯曲过程充其量是不方便的，最坏的情况是真的很难，这取决于解析器生成器的能力与您的正式语言规范所说的之间的差距。

我建议你检查你的"需求规范语言"形式语法，并基于此决定你想使用哪个解析器生成器，以尽量减少你必须做的弯曲量。