基于JFlex和CUP的形式化需求描述语言编译器构造

Question

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

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

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

Answer 1

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

通常，获得这样的语法规范的方法是按照给定的方式接受正式系统的规范，并根据您选择的解析器生成器的约束对其进行折衷。这个弯曲过程往好了说是不方便的，往坏了说是真的很难，这取决于解析器生成器的能力和您的正式语言规范之间的差距。

我建议您检查您的“需求规范语言”形式语法，并根据它决定要使用哪个解析器生成器，以最大限度地减少您必须做的折弯量。