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

Question

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

谁能让我知道可以将 JFlex 和 CUP 用于正式规范语言吗？所有文档和教程仅与编程语言有关。

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

Answer 1

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

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

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