哈达斯·贝利德;Shuly Wintner公司 多项式可分解统一文法。 （英语） Zbl 1323.68535号 J.日志。计算。 25，第5期，1167-1202（2015）. 摘要：统一语法是一种语法形式主义，是当代几种语言学理论的基础，包括词汇功能语法和头部驱动短语结构语法。UG是一种特别有吸引力的形式主义，因为它的表达能力有助于表达复杂的语言结构和关系。从形式上讲，UG是图灵完备的，生成了整个递归枚举语言类。然而，这种表达能力是有代价的：对于任意的统一语法来说，通用识别问题是无法确定的。我们定义了一个等价于范围串联文法的UG约束版本，这是一种形式主义，可以精确地生成在确定性多项式时间内可识别的语言类。因此，我们获得了一种约束统一语法形式，它保证了有效的处理。 MSC公司： 68T50型 自然语言处理 2012年第68季度 语法和重写系统 91层20 语言学 关键词：统一语法;范围连接语法;通用识别问题;解析 PDF格式BibTeX公司 XML格式引用 \textit{H.Peled}和\textit{S.Wintner}，J.Log。计算。25，编号51167-1202（2015；兹bl 1323.68535） 全文： 内政部