埃弗拉特·耶格尔；尼西姆·弗朗西兹；Shuly Wintner公司 统一语法和离线可分析性。 （英语） Zbl 1075.68040号 J.逻辑语言信息。 14，第2期，199-234（2005）. 摘要：统一文法是图灵等价的；给定一个语法\（G\）和一个单词\（w\），L（G）中的\（w\\）是不可判定的。为了确保文法的可判定性，提出了几种文法约束条件，通常称为离线可分析性（OLP），使得识别问题对于满足OLP的文法是可判定的。一个悬而未决的问题是，如果给定的语法满足OLP，它是否是可判定的。在本文中，我们研究了OLP的各种定义，并讨论了它们之间的相互关系，证明了一些OLP变体确实是不可判定的。然后，我们提出了一种新的、可判定的OLP约束，它比现有的可判定约束更加自由。 引用于2文件 MSC公司： 2012年第68季度 语法和重写系统 关键词：离线可分析性；解析终止；统一语法 PDF格式BibTeX公司 XML格式引用 \textit{E.Jaeger}等人，J.Logic Lang.Inf.14，No.2，199--234（2005；Zbl 1075.68040） 全文： 内政部 参考文献： [1] Berwick，R.C.，1987年，“计算复杂性、数学语言学和语言学理论”，《语言数学》，A.Manaster-Ramer编辑，阿姆斯特丹/费城：John Benjamins。 [2] 鲍勃·卡彭特。，1992年，《类型化特征结构的逻辑》，《剑桥理论计算机科学丛书》，英国剑桥：剑桥大学出版社·Zbl 0765.68006号 [3] 乔姆斯基，N.，1975年，“名词化的评论”，第262-289页，D.戴维森和G.H.哈曼编辑，《语法的逻辑》，加利福尼亚州恩西诺：狄更森出版公司。 [4] 《自然语言及其语法的计算相关属性》，Gazdar，G.和Pullum，G.K.著，1985年，新一代计算3，273–306·doi:10.1007/BF03037123 [5] Gazdar，G.E.、Ewan，K.、Pullum，J.K.和Sag，I.A.，1985年，《广义短语结构语法》，马萨诸塞州剑桥：哈佛大学出版社。 [6] 《统一语法的解析算法》，Haas，A.著，1989年，计算语言学15，219-232。 [7] Hopcroft，J.E.和Ullman，J.D.，1979年，《自动化理论、语言和计算导论》，《计算机科学中的Addison-Wesley系列》，阅读，马萨诸塞州：Addison-Whesley出版公司·Zbl 0426.68001号 [8] Jaeger，E.、Francez，N.和Wintner，S.，2002，“保证统一语法的解析终止”，第397–403页，《COLING’02会议录》。 [9] Johnson，M.，1988年，《属性值逻辑和语法理论》，CSLI课堂讲稿，第29卷，加利福尼亚州斯坦福：CSLI。 [10] 《词汇功能语法：语法表征的形式系统》，Kaplan，R.和Bresnan，J.著，1982年，第173-281页，《语法关系的心理表征》，J.Bresnaan主编，马萨诸塞州剑桥：麻省理工学院出版社。 [11] Kuhn，J.，1999，“为结构-功能映射建立一个简单的体系结构”，《LFG’99会议论文集》，M.Butt和T.H.King编辑，斯坦福大学：CSLI出版物。 [12] Pereira，F.C.N.和Warren，D.H.D.，1983年，“解析为演绎”，第137-144页，《计算语言学协会第21届年会会议记录》。 [13] Shieber，S.M.，1992年，《基于约束的语法形式主义》，马萨诸塞州剑桥：麻省理工学院出版社。 [14] Torenvliet，L.和Trautwin，M.，1995，“关于限制属性值语法复杂性的注释”，ILLC研究报告和技术注释系列CT-95-02，阿姆斯特丹：阿姆斯特丹大学。 [15] Wintner，S.和Francez，N.，1999年，“离线可分析性和根深蒂固的包容”，《逻辑、语言和信息杂志》8，1-16·Zbl 0926.68103号 ·doi:10.1023/A:1008252619710 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。