×
马丁·伯格伦德;布林克·范德梅尔

使用反向引用重新检查正则表达式。 （英语） Zbl 07676466号

西奥。计算。科学。 940，66-80（2023）.
摘要：大多数现代正则表达式匹配库（其中一个罕见的例外是Google的RE2）都允许反向引用，即将子字符串绑定到变量的操作，允许它再次进行逐字匹配。然而，现实世界中的实现和文献中的定义都使用不同的语法限制，并且在反向引用匹配的语义上存在差异。我们的目的是通过考虑每种语言都可以描述的形式语言类来比较这些不同的风格，从而建立语言类的层次结构。除了层次结构本身，还给出了一些复杂性结果，作为比较语言类的工作的一部分，建立了新的泵引理，将旧类扩展到新类，并给出了关于这些语言类性质的几个附带结果。

引用于1文件

MSC公司：

68季度xx 计算理论

关键词：

正则表达式;反向引用

软件：

OEIS公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Berglund}和\textit{B.van der Merwe}，Theor。计算。科学。940、66-80（2023；Zbl 07676466）
全文： 内政部

参考文献：

[1] Berglund，M。；van der Merwe，B.，重新检查带回溯引用的正则表达式，（布拉格字符串学会议论文集（2017）），30-40
[2] Berglund，M。；Drewes，F。；van der Merwe，B.，《分析实际正则表达式匹配中的灾难性回溯行为》，（埃西克，Z；Fülöp，Z），《自动机和形式语言》，《自然主义和形式语言，理论计算机科学电子论文集》，第151卷（2014），第109-123页·Zbl 1464.68147号
[3] 韦德曼，N。；范德梅尔，B。；Berglund，M。；Watson，B.，《使用NFA的歧义性分析回溯正则表达式匹配器的匹配时间行为》，（Han，Y.；Salomaa，K.，《自动化的实现和应用》，《自动化实现与应用》，计算机科学讲义，第9705卷（2016），Springer），322-334·Zbl 1475.68169号
[4] Aho，A.V.，《寻找字符串模式的算法》，（van Leeuwen，J.，《理论计算机科学手册》，A卷（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥），255-300·Zbl 0900.68249号
[5] Cámpeanu，C。；萨洛马，K。；Yu，S.，《实用正则表达式的正式研究》，Int.J.Found。计算。科学。，14, 6, 1007-1018 (2003) ·Zbl 1101.68443号
[6] B·卡尔。；Narendran，P.，《关于扩展正则表达式》（Language and Automata Theory and Applications.Language和Automata理论与应用，计算机科学讲义，第5457卷（2009），Springer），279-289·Zbl 1234.68202号
[7] Freydenberger，D.D。；Schmid，M.L.，《带反向引用的确定性正则表达式》，（Vollmer，H.；Vallée，B.，第34届计算机科学理论方面研讨会，第34次计算机科学理论问题研讨会，莱布尼茨信息学国际会议，第66卷（2017），Dagstuhl-Leibniz-Zentrum für Informatik:德国达格斯图尔-莱布尼兹·泽特鲁姆宫），第33条，pp·Zbl 1402.68115号
[8] Schmid，M.L.，用配备因子引用的正则语言表征REGEX语言，（Shur，A.M.；Volkov，M.V.，《语言理论的发展》，语言理论发展，计算机科学讲义，第8633卷（2014），Springer），142-153·兹比尔1344.68129
[9] Larsen，K.S.，带有嵌套反向引用级别的正则表达式形成了一个层次结构Inf.Process。莱特。，65, 4, 169-172 (1998) ·Zbl 1339.68150号
[10] Shibata，Y。；Kida，T。；Fukamachi，S。；武田，M。；Shinohara，A。；Shinohara，T。；Arikawa，S.，通过文本压缩加速模式匹配，（意大利算法和复杂性会议（2000），Springer），306-315·Zbl 0971.68632号
[11] Berglund，M。；范德默韦，B。；沃森，B。；Weideman，N.，《关于实际正则表达式中原子子群的语义》，（Carayol，A.；Nicaud，C.，《自动化的实现和应用》，《自动化实现与应用》，计算机科学讲义，第10329卷（2017），Springer），14-26·Zbl 1489.68119号
[12] 斯隆，N.，《整数序列在线百科全书》（2017），A000295
[13] Thompson，K.，正则表达式搜索算法，Commun。ACM，11，6，419-422（1968）·Zbl 0164.46205号
[14] Ogden，W.，一个有助于证明固有歧义性的结果，数学。系统。理论，2，3，191-194（1968）·Zbl 0175.27802号
[15] 佩纳，G.德拉；Intrigila，B。；Tronci，E。；Zilli，M.V.，同步正则表达式，Acta Inform。，39, 1, 31-70 (2003) ·Zbl 1034.68066号
[16] Schmid，M.L.，《正则语言类内部》（Yen，H.-C.；Ibarra，O.H.，《语言理论的发展》（2012），斯普林格·柏林-海德堡：斯普林格尔·柏林-海德堡-柏林，海德堡），73-84·Zbl 1370.68190号
[17] Fernau，H。；Schmid，M.L.，《变量模式匹配：多元复杂性分析》，Inf.Comput。，242, 287-305 (2015) ·Zbl 1370.68124号
[18] Freydenberger，D.D.，《扩展正则表达式：简洁性和可判定性》，理论计算。系统。，53, 2, 159-193 (2013) ·兹比尔1286.68281
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。