布拉布兰德,克劳斯;罗伯特·吉格里奇;安德斯·默勒 分析上下文无关语法的歧义性。 (英语) Zbl 1189.68068号 科学。计算。程序。 75,第3期,176-191(2010). 摘要:自1962年以来,人们就知道上下文无关文法的歧义问题是不可判定的。在语言设计和解析器生成中,以及在将语法用作真实世界物理结构模型的应用程序中,无上下文语法中的歧义是一个反复出现的问题。我们观察到语法歧义问题有一个简单的语言特征,我们通过提出一个基于保守语言近似的歧义分析框架来说明如何利用这个特征。作为一个具体的例子,我们提出了一种基于局部正则逼近和语法展开的技术。我们使用生物信息学中RNA分析中出现的语法对分析进行评估,并证明其足够精确和有效,具有实用价值。 引用于3文件 MSC公司: 2012年第68季度 语法和重写系统 关键词:无上下文语言;近似;生物序列分析 软件:埃尔克洪德;法国皇家医学会;无间道;运动(Locomotif);X苏加;dk.brics.自动机 PDF格式BibTeX公司 XML格式引用 \textit{C.Brabrand}等人,科学。计算。程序。75,第3号,176--191(2010;Zbl 1189.68068) 全文: 内政部 参考文献: [1] 阿霍,A.V。;Ullman,J.D.:《解析、翻译和编译理论》,第一卷(1972年)·Zbl 0264.68032号 [2] Basten,H.:上下文无关语法歧义检测方法的可用性,《理论计算机科学电子笔记》238,第5期,35-46(2009) [3] 伯斯特尔,J。;Boasson,L.:平衡语法及其语言,形式与自然计算,3-25(2002)·Zbl 1060.68051号 [4] 布拉布兰德,C。;莫勒,A。;Schwartzbach,M.I.:《XML语言的双重语法》,《信息系统》33,第4期(2008年)·Zbl 1159.68407号 [5] 布拉布兰德,C。;Schwartzbach,M.I.:metafront系统:安全和可扩展的解析和转换,《计算机编程科学》68,第1期,第2-20页(2007年)·兹比尔1188.68164 ·doi:10.1016/j.scico.2005.06.007 [6] Cantor,D.G.:《关于backus系统的模糊性问题》,《ACM杂志》第9期,第4期,第477-479页(1962年)·Zbl 0114.33003号 ·doi:10.1145/321138.321145 [7] B.S.N.Cheung,R.C.Uzgalis,《无语境语法中的歧义》,摘自:Proc。1995年美国计算机学会应用计算研讨会 [8] 乔姆斯基,N。;Schützenberger,M.-P.:无上下文语言的代数理论,118-161(1963)·Zbl 0148.00804号 [9] 克里斯滕森,美国。;莫勒,A。;Schwartzbach,M.I.:字符串表达式的精确分析,Lncs 2694,1-18(2003)·Zbl 1067.68541号 [10] Ii,K.库利克;Cohen,R.S.:LR-规则文法-(LR(k)文法的扩展,《计算机与系统科学杂志》第7期,第1期,第66-96页(1973)·Zbl 0253.68014号 ·doi:10.1016/S0022-0000(73)80050-9 [11] Dowell,R.D。;Eddy,S.R.:RNA二级结构预测的几种轻量级随机无上下文文法评估,BMC生物信息学5,第71期(2004) [12] 杜宾,R。;艾迪,S.R。;Krogh,A。;Mitchison,G.:生物序列分析(1998)·Zbl 0929.92010号 [13] Earley,J.:一种高效的无上下文解析算法,《ACM通信》13,第2期,94-102(1970)·Zbl 0185.43401号 ·数字对象标识代码:10.1145/362007.362035 [14] Floyd,R.W.:《论短语结构语言中的歧义性》,《ACM通讯》第5期,第10期,第526页(1962年)·Zbl 0227.68037号 [15] 加德纳,P.P。;Daub,J。;Tate,J.G。;Nawrocki,E.P。;Kolbe,D.L。;林德格林,S。;Wilkinson,A.C。;R·D·芬恩。;Griffiths-Jones,S。;Eddy,S.R。;贝特曼,A.:英国皇家医学会:RNA家族数据库更新,核酸res 37,136-140(2009) [16] Giegerich,R.:《解释和控制动态规划中的模糊性》,Lncs 1848,46-59(2000)·Zbl 0964.90050号 [17] R.Giegerich,C.Höner zu Siederdessen,随机RNA家族模型的语义和模糊性,2009年(提交的手稿) [18] Giegerich,R。;迈耶,C。;Steffen,P.:序列数据上的动态编程学科,《计算机编程科学》51,第3期,215-263(2004)·Zbl 1067.90157号 ·doi:10.1016/j.scico.2003.12.005 [19] Gorn,S.:《无语境机械语言中生成歧义的检测》,《ACM杂志》第10期,第2期,196-208年(1963年)·Zbl 0149.12504号 ·doi:10.1145/321160.321168 [20] 霍普克罗夫特,J.E。;Ullman,J.D.:自动机理论、语言和计算导论(1979)·Zbl 0426.68001号 [21] Knuth,D.E.:关于语言从左到右的翻译,《信息与控制》第8期,第607-639页(1965年)·Zbl 0231.68027号 [22] Knuth,D.E.:括号语言的特征,信息与控制11269-289(1967)·Zbl 0196.01703号 ·doi:10.1016/S0019-9958(67)90564-5 [23] Kuich,W.:下推受体和上下文无关文法系统,Elektronische informationsverarbeitung und kybernetik 6,No.2,95-114(1970)·Zbl 0193.32701号 [24] S.McPeak,G.C.Necula,2004年。Elkhound:一个快速实用的GLR解析器生成器,in:Proc。2004年第13届国际编译器构造会议·Zbl 1125.68354号 [25] 莫赫里,M。;Nederhof,M.-J.:通过转换对无上下文语法的规则近似,语言和语音技术的稳健性(2001)·兹伯利0989.68124 [26] A.Möller,dk.brics.automaton–有限状态自动机和Java正则表达式,2008年。http://www.brics.dk/automon/ [27] Nawrocki,E.P。;Kolbe,D.L。;Eddy,S.R.:《无间道1.0:RNA比对推断》,生物信息学25,第10期,1335-1337(2009) [28] Nederhof,M.-J.:无语境语言规则近似的实践实验,计算语言学26,第1期,17-44(2000) [29] Reeder,J。;Reeder,J。;Giegerich,R.:《运动:从图形基序描述到RNA基序搜索》,《生物信息学》23,第13期,392-400(2007) [30] Reeder,J。;斯特芬,P。;Giegerich,R.:《生物序列分析中的有效歧义检查》,BMC生物信息学6,第153期(2005年) [31] S.Schmitz,无上下文语法中的保守歧义检测。In:程序。2007年ICALP第34届国际自动化、语言和编程学术讨论会·Zbl 1171.68518号 [32] Schmitz,S.:实验性歧义检测工具,《计算机编程科学》(2009)·Zbl 1187.68282号 [33] E.Scott,A.Johnstone,S.S.Hussein,Tomita风格通用解析器,技术代表CSD-TR-00-A,皇家霍洛韦,伦敦大学,2000 [34] M.van den Brand,J.Scheerder,J.J.Vinju,E.Visser,无扫描仪通用LR解析器的消歧过滤器,见:Proc。2002年第11届国际编译器构造会议·Zbl 1051.68874号 [35] E.Visser,语言原型的语法定义,阿姆斯特丹大学博士论文,1997年·Zbl 0900.68290号 [36] 沃斯,B。;Giegerich,R。;Rehmsmeier,M.:《RNA形状的完全概率分析》,BMC生物学4,第5期(2006年) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。