离线可解析性与子类型的良基性
cmp-lg
2008-02-03 v1 计算与语言
摘要
类型化特征结构在许多形式化方法中被广泛用于指定语言信息。子类型关系根据其信息内容对类型化特征结构进行排序。本文证明了无环类型化特征结构的子类型关系是良基的，而存在环时一般类型化特征结构的子类型关系则不是良基的。本文展示了该结果在解析中的应用，其中子类型的良基性被用于保证可离线解析的语法能够终止。本文定义了一种比现有定义更宽松的离线可解析性新版本；因此，对于更大范围的语法，解析终止得到了保证。
引用
@article{arxiv.cmp-lg/9709011,
title = {Off-line Parsability and the Well-foundedness of Subsumption},
author = {Shuly Wintner and Nissim Francez},
journal= {arXiv preprint arXiv:cmp-lg/9709011},
year = {2008}
}
备注
19 pages, 1 postscript figure, uses fullname.sty