基于类型化特征结构的解析
cmp-lg
2016-08-31 v1 计算与语言
摘要
本文针对以通用类型化特征结构（TFS）为基础的形式化方法表达的语法，提供了解析方法，这是 ALE 的一种限制。我们的动机是为该形式化方法设计一种抽象的（类似 WAM 的）机器，因此将解析视为一个计算过程，并将其用作抽象机器控制结构设计的操作语义。我们强调抽象类型化特征结构（AFS）的概念，该概念编码了 TFS 的本质信息，并在 AFS 上而非 TFS 上定义合一。然后我们引入多根特征结构（MRS）的显式构造，它自然地扩展了 TFS，并用其表示短语符号和语法规则。我们还使用 MRS 的抽象，并给出操作它们所需的数学基础。然后我们提出一个简单的自底向上图表解析器作为计算模型：用 TFS 基础形式化方法编写的语法由该解析器执行。最后，我们证明该解析器是正确的。
引用
@article{arxiv.cmp-lg/9601010,
title = {Parsing with Typed Feature Structures},
author = {Shuly Wintner and Nissim Francez},
journal= {arXiv preprint arXiv:cmp-lg/9601010},
year = {2016}
}
备注
PostScript, 15 pages; Proc. 4th Intl. Workshop on Parsing Technologies, Prague, September 1995