用于类型特征结构的抽象机器

本文描述了构建用于基于类型特征结构（如 HPSG）的语言形式化的抽象机器的第一步。详细阐述了抽象机器的核心设计，包括从高级说明语言到抽象机器语言的编译过程以及抽象指令的实现。我们因此将计算机科学中已证实有效的方法应用于自然语言研究：一种使用该形式化指定的语法被赋予操作语义。目前，我们的机器支持简单特征结构的统一、这些结构序列的统一、循环结构以及选择。