限制同步树邻接文法的弱生成能力
cmp-lg
2008-02-03 v2 计算与语言
摘要
同步树邻接文法（STAG）形式化是标准树邻接文法（TAG）的一种变体，旨在允许将 TAG 用于语言转导而不仅限于语言描述。先前工作通过迭代重写过程定义了同步 TAG 所定义的转导关系。重写定义的推导存在问题，因为它极大地扩展了形式化的表达能力，并使得解析算法的设计变得困难甚至不可能。我们引入了一个基于标准树邻接推导之间同构的简单、自然的同步树邻接推导定义，避免了原始重写定义的表达能力和可实现性问题。表达能力的下降通过引入先前为完全不同原因提出的标准树邻接推导的替代定义得以抵消，从而使得采用自然的同步推导定义成为可能。尽管如此，仍有一些棘手的情况要求在定义中具有更大的灵活性；同构要求可能需要放宽。留待未来研究来调整允许映射的确切要求。
引用
@article{arxiv.cmp-lg/9404003,
title = {Restricting the Weak-Generative Capacity of Synchronous Tree-Adjoining Grammars},
author = {Stuart M. Shieber},
journal= {arXiv preprint arXiv:cmp-lg/9404003},
year = {2008}
}
备注
21 pages, uses lingmacros.sty, psfig.sty, fullname.sty; minor typographical changes only