面向语言编程的元关系

Question

在开发一门新语言的过程中。如何将“LALR 解析器”、“抽象语法树”、“上下文无关语法”等“高级”概念与特定语法规则“A -> B”等其他“低级”概念联系起来.

我的意思是某种元语言关系，或类似的。有什么想法或建议可以查看有关此主题的更多信息？请随时改写我的问题以澄清问题。

任何帮助将不胜感激。

Answer 1

通常，这些实体（语法规则、解析器、AST）具有概念上的关系，如 Dragon 编译器书籍（已在评论中提到）等书籍所捕获的。 在设计新语言时，我认为这些关系不是很有趣。你真正关心的是语言的语法（通常表示为 具有附加约束的“无上下文”语法，以及语言的语义（通常表示为非常大的参考文档，有时以可以解释魔术产生的抽象解析树的正式符号表示，例如 denotational semantics。

当你有将它们联系在一起的机器时，“真实”关系就会出现：如果我将语法 A 提供给解析器生成器 B，并使用结果来处理源代码 S，我可能会得到 AST T。 在这个级别上，你不是在设计你的语言，而是在实施它。您在这里需要的是一套用于处理您的语言定义的集成工具； 理想情况下，它将直接接受您的语法和语义符号。我所知道的理想情况下没有任何实用的工具，所以你必须在那些确实存在的工具中进行选择。

ANTLR 和我的DMS Software Reengineering Toolkit 是可以用于此不同程度有效性的两个工具。

DMS 提供了至少一种定义语义的方法，即通过提供写下语言形式之间等价的“代数”定律的方法。本质上，你可以说 这种语言形式 等价于 那种语言形式 写成 pattern1 = pattern2 就像你做代数。你可以看到这是如何做到的using algebra as an example。