基于类型化特征结构的解析

本文针对以通用类型化特征结构（TFS）为基础的形式化方法表达的语法，提供了解析方法，这是 ALE 的一种限制。我们的动机是为该形式化方法设计一种抽象的（类似 WAM 的）机器，因此将解析视为一个计算过程，并将其用作抽象机器控制结构设计的操作语义。我们强调抽象类型化特征结构（AFS）的概念，该概念编码了 TFS 的本质信息，并在 AFS 上而非 TFS 上定义合一。然后我们引入多根特征结构（MRS）的显式构造，它自然地扩展了 TFS，并用其表示短语符号和语法规则。我们还使用 MRS 的抽象，并给出操作它们所需的数学基础。我们然后形式化地定义语法及其生成的语言，并描述一个对应于自底向上图表解析的计算模型：用 TFS 基础形式化方法编写的语法由该解析器执行。我们证明该计算相对于独立定义是正确的。最后，我们讨论了保证计算终止的语法类，并证明对于可离线解析的语法，终止可以得到保证。