×

有效测试和匹配确定性正则表达式。 (英语) Zbl 1372.68157号

摘要:提出了一种用于测试正则表达式确定性的线性时间算法。结果表明,长度为(n)的输入字可以与时间为(O(m+n log m)的长度为(m)的确定性正则表达式进行匹配。如果确定性正则表达式具有交替并集和串联运算符的有界深度,则可以在时间\(O(m+n)\)中执行匹配。这些结果扩展到包含数字出现指示符的正则表达式。

MSC公司:

第68季度第45季度 形式语言和自动机
68瓦32 字符串上的算法

软件:

佩尔
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Kleene,S.,《神经网络和有限自动机中事件的表示》(Shannon,C.;Mccarthy,J.,《自动机研究》(1956),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿),3-42
[2] Thompson,K.,正则表达式搜索算法,Commun。ACM,11,6,419-422(1968)·Zbl 0164.46205号
[3] 库马尔,P。;Singh,V.,使用改进的基于文字的自动机的网络入侵检测系统的高效正则表达式模式匹配,(SIN(2012)),103-110
[4] Cox,R.,《野外正则表达式匹配》(2010),在线阅读
[5] (Goldfarb,C.F.,《信息处理——文本和办公系统——标准通用标记语言(SGML)》,国际标准ISO 8879(1986),国际标准化组织:日内瓦国际标准化协会)
[6] (Bray,T.;Paoli,J.;Sperberg McQueen,C.M.;Maler,E.,可扩展标记语言(XML)1.0(第二版),W3C推荐标准(2000))
[7] (Fallside,D.C.;Walmsley,P.,《XML模式第0部分:第二版入门》,W3C推荐标准(2004))
[8] Brüggemann-Klein,A。;Wood,D.,《一种模糊正则语言》,Inf.Comput。,142, 2, 182-206 (1998) ·兹伯利0912.68112
[9] Glushkov,V.M.,《自动机的抽象理论》,俄罗斯数学。调查。,16, 1-53 (1961) ·Zbl 0104.35404号
[10] Brüggemann-Klein,A.,有限自动机的正则表达式,Theor。计算。科学。,197-213年2月120日(1993年)·Zbl 0811.68096号
[11] Chang,C.-H。;Paige,R.,从正则表达式到使用压缩NFA的DFA,Theor。计算。科学。,178, 1-2, 1-36 (1997) ·Zbl 0912.68105号
[12] 庞蒂,J.-L。;齐亚迪,D。;Champarnaud,J.-M,将正则表达式转换为自动机的新二次算法,(实现自动机研讨会(1996)),109-119
[13] Harel,D。;Tarjan,R.E.,《寻找最近共同祖先的快速算法》,SIAM J.Compute。,13, 2, 338-355 (1984) ·Zbl 0535.68022号
[14] 本德,医学硕士。;法拉赫-科尔顿,M。;彭马萨尼,G。;Skiena,S。;Sumazin,P.,树和有向非循环图中的最低共同祖先,J.算法,57,2,75-94(2005)·Zbl 1085.68103号
[15] 博扬奇克,M。;Parys,P.,线性时间的XPath评估,J.ACM,58,4,17(2011)·Zbl 1281.68093号
[16] Muthukrishnan,S。;Müller,M.,面向对象程序的时间和空间高效方法查找,(SODA(1996)),42-51·Zbl 0847.68016号
[17] 法拉赫,M。;Muthukrishnan,S.,最佳并行字典匹配和压缩(SPAA(1995)),244-253
[18] Grijzenhout,S.,《XML web的质量》(2010年7月),阿姆斯特丹大学,草稿,见
[19] 沃尔,L。;Schwartz,R.,《编程Perl》(1991),O'Reilly and Associates·Zbl 0863.68026号
[20] Hazel,P.,Perl兼容正则表达式(2003),剑桥大学出版社
[21] 比约克隆德,H。;马滕斯,W。;Timm,T.,简洁正则表达式的高效增量计算,(CIKM(2015)),1541-1550
[22] Kilpeläinen,P。;Tuhkanen,R.,带数字出现指示符的正则表达式的一元二义性,Inf.Compute。,205, 6, 890-916 (2007) ·兹比尔1118.68079
[23] 格罗兹,B。;Maneth,S。;Staworki,S.,线性时间中的确定性正则表达式,(PODS(2012)),49-60
[24] 霍普克罗夫特,J.E。;Ullman,J.D.,自动机理论、语言和计算导论(1979),Addison Wesley·Zbl 0196.01701号
[25] 哈格纳,C。;Muscholl,A.,在(O(n\log^2(n))时间内从正则表达式计算无εNFA,(MFCS(1998)),277-285·Zbl 0912.68113号
[26] Gelade,W。;Gyssens,M。;Martens,W.,《带计数的正则表达式:弱决定论与强决定论》,SIAM J.Compute。,41, 1, 160-190 (2012) ·Zbl 1252.68146号
[27] 科赫,C。;Scherzinger,S.,《XML流上可伸缩查询处理的属性语法》,VLDB J.,16,3,317-342(2007)
[28] Kilpeläinen,P.,在最佳时间检查XML模式内容模型的确定性,信息系统。,36, 3, 596-617 (2011)
[29] 陈,H。;Lu,P.,用计数检查正则表达式的确定性,Inf.Compute。,241, 302-320 (2015) ·Zbl 1330.68151号
[30] van Emde Boas,P.,《在小于对数时间和线性空间的森林中保持秩序》,Inf.Process。莱特。,6, 3, 80-82 (1977) ·Zbl 0364.68053号
[31] van Emde Boas,P。;Kaas,R。;Zijlstra,E.,高效优先级队列的设计与实现,数学。系统。理论,1099-127(1977)·Zbl 0363.60104号
[32] Bex,G.J。;Neven,F。;Schwentick,T。;Vansummeren,S.,简明正则表达式和DTD的推理,ACM Trans。数据库系统。,第35、2、11页(2010年)
[33] Kecher,R.,在恒定时间内重置数组(2009年5月),博客条目
[34] 莫雷特,B。;Shapiro,H.,《从P到NP的算法》(1990),本杰明·卡明斯
[35] Aho,A.V。;霍普克罗夫特,J.E。;Ullman,J.D.,《计算机算法的设计与分析》(1974),Addison Wesley·Zbl 0207.01701号
[36] 哈格纳,C。;Muscholl,A.,在\(o(n\log^2(n))\)时间内从正则表达式计算无εNFA,Inform。塞奥尔。申请。,34, 4, 257-278 (2000) ·兹伯利0971.68091
[37] 泽温斯基,W。;大卫·C。;Losemann,K。;Martens,W.,《通过确定性正则表达式确定可定义性》(FOSSACS(2013)),289-304·Zbl 1260.68199号
[38] 卢,P。;Bremer,J。;陈浩,正则语言的决定论,理论计算。系统。,57, 1, 97-139 (2015) ·Zbl 1339.68151号
[39] 卢,P。;彭,F。;陈,H。;郑磊,决定一元语言的决定论,信息计算。,245, 181-196 (2015) ·Zbl 1332.68122号
[40] 拿铁咖啡,M。;Niewerth,M.,带计数器的弱确定性正则表达式的可判定性,(MFCS(2015)),369-381·Zbl 1465.68159号
[41] 塞古芬,L。;Sirangelo,C.,针对DTD的流式XML文档的常量内存验证(ICDT(2007)),299-313
[42] 塞古芬,L。;Vianu,V.,验证流式XML文档,(PODS(2002)),53-64
[43] 康拉德,C。;Magniez,F.,《使用外部内存验证流模型中的XML文档》(ICDT(2012))·Zbl 1321.68254号
[44] Bex,G.J。;Neven,F。;den Bussche,J.V.,《DTD与XML模式:实践研究》(WebDB(2004)),第79-84页
[45] Baeza-Yates,R.A。;Gonnet,G.H.,在尝试时快速搜索正则表达式或自动搜索文本,J.ACM,43,6,915-936(1996)·兹伯利0885.68048
[46] Schnitger,G.,正则表达式和不带ε-过渡,(STACS(2006)),432-443·Zbl 1136.68422号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。