×
丹尼尔·范斯坦;Shuly Wintner公司

高度受限的统一语法。 （英语） Zbl 1172.68056号

J.逻辑语言信息。 17，第3号，345-381（2008）.
摘要：统一语法被广泛接受为描述自然语言结构的一种表达方式。一般来说，统一文法的识别问题是不可判定的。即使有形式主义的限制变体，离线可分析文法，问题也很难计算。我们给出了统一语法的两个自然约束，这两个约束限制了它们的表达能力，并允许高效处理。我们首先展示了不可重入的统一语法正好生成了一类无上下文语言。然后，我们放松约束，并表明单重入统一文法正好生成了轻度上下文敏感的语言类。因此，我们将统一语法的常用形式主义和受语言启发的形式主义与更受限制、更易于计算的语言类联系起来。

引用于1文件

MSC公司：

68T50型 自然语言处理
2012年第68季度 语法和重写系统

关键词：

统一语法;线性索引文法;轻度上下文敏感语言;生殖能力
PDF格式BibTeX公司 XML格式引用
\textit{D.Feinstein}和\textit{S.Wintner}，J.Logic Lang.Inf.17，No.3，345--381（2008；Zbl 1172.68056）
全文： 内政部

参考文献：

[1] Barton G.E.Jr.、Berwick R.C.、Ristad E.S.（1987）《LFG的复杂性》。收录：Barton G.E.Jr.、Berwick R.C.、Ristad E.S.（编辑）《计算复杂性与自然语言》第3章认知与感知的计算模型。麻省理工学院出版社，马萨诸塞州剑桥，第89–102页
[2] Carpenter，B.（1992年）。类型化特征结构的逻辑。剑桥理论计算机科学丛书。剑桥大学出版社。
[3] Feinstein，D.和Wintner，S.（2006年）。高度约束的统一语法。《2006年科林会议记录–ACL》，第1089–1096页，澳大利亚悉尼，7月·Zbl 1172.68056号
[4] Gazdar G.（1988）索引语法对自然语言的适用性。Reyle U.，Rohrer C.（编辑）自然语言分析和语言学理论。雷德尔出版公司，多德雷赫特，第69–94页
[5] Jaeger E.、Francez N.、Wintner S.（2005）《统一语法和离线可分析性》。逻辑、语言与信息杂志14（2）：199–234·Zbl 1075.68040号 ·doi:10.1007/s10849-005-4511-1
[6] Johnson，M.（1988）。属性值逻辑与语法理论，CSLI课堂讲稿第16卷。加利福尼亚州斯坦福：CSLI。
[7] Joshi，A.K.（2003）。树邻接语法。R.Mitkov（编辑），《牛津计算语言学手册》（第26章，第483-500页）。牛津大学出版社。
[8] Joshi A.K.，Levy L.，Takahashi M.（1975）树附加语法。计算机与系统科学杂志10:136-163·Zbl 0326.68053号 ·doi:10.1016/S0022-0000（75）80019-5
[9] Keller，B.和Weir，D.（1995）。线性索引文法的一种易于处理的扩展。计算语言学协会欧洲分会第七届会议记录，第75-82页。
[10] Pollard，C.（1984）。广义短语结构语法、中心语法和自然语言。斯坦福大学博士论文。
[11] Satta，G.（1994年）。树邻接语法分析和布尔矩阵乘法。《计算语言学协会第20届年会论文集》（第20卷）。
[12] Savitch，W.J.、Bach，E.、Marsh，W.和Safran-Naveh，G.（编辑）（1987年）。自然语言的形式复杂性，《语言学和哲学研究》第33卷。多德雷赫特：D.Reidel
[13] Shieber，S.M.（1986年）。基于统一的语法方法介绍。CSLI课堂讲稿排名第四。CSLI公司。
[14] Shieber S.M.（1992）基于约束的语法形式。麻省理工学院出版社，马萨诸塞州剑桥
[15] Steedman M.（2000）句法过程。语言、言语和沟通。麻省理工学院出版社，马萨诸塞州剑桥·Zbl 0980.91053号
[16] Vijay-Shanker K.，Weirm D.J.（1993）解析一些约束语法形式。计算语言学19（4）：591–636
[17] Vijay-Shanker K.，Weir D.J.（1994）上下文无关文法四种扩展的等价性。数学系统理论27:511–545·Zbl 0813.68129号 ·doi:10.1007/BF01191624
[18] Weir D.J.（1992）超越无上下文语言的几何层次结构。理论计算机科学104:235–261·兹比尔0754.68070 ·doi:10.1016/0304-3975（92）90124-X
[19] Wintner，S.（2006年a）。统一语法简介。Z.Esik、C.Martín-Vide和V.Mitrana（编辑），《形式语言和应用的最新进展》，《计算智能研究》第25卷（第13章，第321-342页）。斯普林格。
[20] Wintner S.（2006b）《统一：计算问题》。收录：Brown K.（eds）《语言和语言学百科全书》，第13卷。第二版，牛津爱思唯尔出版社，第238-250页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。