类型化特征结构的抽象机

本文描述了一种用于基于类型化特征结构的语言形式主义的抽象机，例如 HPSG。抽象机的核心设计被详细给出，包括从高级语言到抽象机语言的编译过程以及抽象指令的实现。该机器的引擎支持对类型化的、可能循环的特征结构进行合一。一个独立模块处理控制结构和指令，以适配短语结构语法的解析。我们将语言形式主义视为高级声明式编程语言，将计算机科学中被证明有效的方法应用于自然语言研究：使用该形式主义指定的语法被赋予操作语义。