图表、无交互语法与歧义的紧凑表示
cmp-lg
2008-02-03 v1 计算与语言
摘要
最近在 LFG 框架下工作的研究人员提出了利用统一语法中隐式上下文无关成分的算法 [Maxwell 96]。本文澄清了这些技术的数学基础，提供了一个统一的形式化框架来研究它们，并消除了对专门用途的运行时歧义记录数据结构的需求。本文提出同一性：歧义特征结构 = 语法，该同一性表明（有限）歧义表示最好被视为某种类型的统一语法，这里称为"无交互"语法，它以无回溯的方式生成被歧义表示所包含的每个特征结构。这项工作扩展了一条研究线 [Billot and Lang 89, Lang 94]，该研究线强调图表与语法之间的联系：图表可以被视为给定输入字符串的参考语法的特化。我们展示了这种特化语法如何被转换为无交互形式，其实用性与单独列出各个解相同，但生成时间和空间更少。
引用
@article{arxiv.cmp-lg/9705009,
title = {Charts, Interaction-Free Grammars, and the Compact Representation of Ambiguity},
author = {Marc Dymetman},
journal= {arXiv preprint arXiv:cmp-lg/9705009},
year = {2008}
}
备注
15 pages (Latex, Postscript), to appear in Proceedings IJCAI-97