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

Question

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

任何人都可以让我知道可以使用 JFlex 和 CUP 作为正式规范语言吗？ 所有文档和教程仅与编程语言相关。

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

Answer 1

词法分析器和解析器生成器不关心您的语言是否是“常规计算机语言”，只关心您的语言具有它们可以处理的语法规范。

通常你得到这样一个语法规范的方法是为你的正式系统采用一个给定的规范，并根据你选择的解析器生成器的约束来改变它。 这种弯曲过程充其量是不方便的，最坏的情况是非常困难，这取决于解析器生成器的能力与您的正式语言规范所说的内容之间的差距。

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