劳拉，博泽利；塞萨尔·桑切斯 明显的理性表达。 （英语） Zbl 1354.68148号 学报信息。 51，第1期，25-49（2014）. 摘要：正则表达式（RE）是一种表示正则语言的代数形式，广泛用于字符串搜索和验证中的规范语言。本文引入并研究了可视有理表达式（VRE），它是RE对可视下推语言（VPL）类的扩展。我们证明VRE准确地捕获了VPL类。此外，我们确定了同样富有表现力VRE片段，允许将二次时间合成转换为VPL的自动机受体。我们还证明，对于这个片段，普遍性、包含性和语言等价性是EXPTIME-完全的。最后，我们提供了无限单词上VPL的VRE扩展。 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 70年第68季度 语言代数理论与自动机 软件：贝博普；自旋蛋白 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{C.Sánchez}，《信息学报》51，第1期，第25-49页（2014；Zbl 1354.68148） 全文： 内政部 链接 参考文献： [1] 阿鲁尔：把文字和树木结合起来。摘自：第26届ACM数据库系统原理研讨会论文集（PODS'07），第233-242页。ACM（2007）·Zbl 1167.68379号 [2] Alur，R.，Etessami，K.，Madhusudan，P.：嵌套调用和返回的时间逻辑。摘自：《第十届系统构建和分析工具和算法国际会议论文集》（TACAS'04），LNCS第2988卷，第467-481页。斯普林格（2004）·Zbl 1126.68466号 [3] Alur，R.，Kumar，V.，Madhusudan，P.，Viswanathan，M.：明显压制语言的公理。摘自：第32届国际自动化、语言和编程学术讨论会论文集（ICALP’05），LNCS第3580卷，第1102-1114页。斯普林格（2005）·Zbl 1085.68079号 [4] Alur，R.，Madhusudan，P.：明显的压制性语言。摘自：第36届ACM计算机理论年会论文集（STOC'04），第202-211页。ACM（2004）·Zbl 1192.68396号 [5] Alur，R.，Madhusudan，P.：为单词添加嵌套结构。J.ACM，56（3）（2009年）·Zbl 1325.68138号 [6] Arenas，M.，Barceló，P.，Libkin，L.：嵌套词的常规语言：定点、自动机和同步。摘自：第34届国际自动化、语言和编程学术讨论会会议记录（ICALP’07），LNCS第4596卷，第888-900页。施普林格（2007）·Zbl 1171.68521号 [7] Ball，T.，Rajamani，S.K.：Bebop：布尔程序的符号模型检查器。摘自：《第七届模型检查和软件验证国际研讨会论文集》（SPIN’00），LNCS第1885卷，第113-130页。斯普林格（2000）·Zbl 0976.68540号 [8] Bolduc，C.，Ktari，B.：可视下推kleene代数及其在（相互）递归程序的过程间分析中的使用。摘自：《第十一届计算机科学关系方法国际会议论文集》（RelMiCS’09），LNCS第5827卷，第44-58页。施普林格（2009）·Zbl 1267.68139号 [9] Bouajjani，A.，Esparza，J.，Maler，O.：下推自动机的可达性分析：应用于模型检查。参见：《第八届并行理论国际会议论文集》（CONCUR’97），LNCS第1243卷，第135-150页。施普林格（1997）·Zbl 1512.68135号 [10] Bozzelli，L.：针对可视下推语言的交替自动机和时间不动点演算。参见：《第18届并行理论国际会议论文集》（CONCUR'07），LNCS第4703卷，第476-491页。施普林格（2007）·Zbl 1151.68458号 [11] Chandra，A.K.，Kozen，D.，Stockmeyer，L.J.：替代。J.ACM 28（1），114-133（1981）·Zbl 0473.68043号 ·数字对象标识代码：10.1145/322234.32243 [12] Cyriac，A.：并发递归程序的时序逻辑。巴黎信息学大师拉普特·德·马斯特（Rapport de Master，Master Parisien de Recherche en Informatique），巴黎（2010）·Zbl 0473.68043号 [13] Fisman，D.，Eisner，C.，Havlicek，J.：PSL的形式语法和语义：accellera属性语言参考手册附录B，1.1版。(2004) [14] Hopcroft，J.E.，Ullman，J.D.：自动机理论、语言和计算导论。Addison-Wesley，马萨诸塞州雷丁（1979）·Zbl 0426.68001号 [15] Kleene，S.C.：神经网络和有限自动机中事件的表示。收录于：《自动化研究》，第34卷，第3-41页。普林斯顿大学出版社（1956）·Zbl 0473.68043号 [16] Koch，C.，Scherzinger，S.：XML流上可伸缩查询处理的属性语法。程序中。第九届数据库编程语言国际研讨会（DBPL'03），LNCS第2921卷，第233-256页。斯普林格（2004） [17] Kumar，V.，Madhusudan，P.，Viswanathan，M.：流式XML的可视下推自动机。摘自：《第十六届万维网国际会议论文集》（WWW'07），第1053-1062页。ACM（2007） [18] Leucker，M.，Sánchez，C.：正则线性时间逻辑。摘自：《第四届国际计算理论研讨会论文集》（ICTAC’07），LNCS第4711卷，第291-305页。施普林格（2007）·兹比尔1147.03305 [19] Löding，C.，Madhusudan，P.，Serre，O.：明显的下压游戏。摘自：《第24届软件技术和理论计算机科学基础国际会议论文集》（FSTTCS’04），LNCS第3328卷，第408-420页。斯普林格（2004）·Zbl 1117.68409号 [20] Madhusudan，P.，Viswanathan，M.：XML嵌套单词的查询自动机。摘自：第34届计算机科学数学基础国际研讨会论文集（MFCS’09），LNCS第5734卷，第561-573页。施普林格（2009）·Zbl 1250.68169号 [21] Pitcher，C.：XML流处理的可视下推表达式效果。摘自：ACM XML编程语言技术研讨会论文集（PLAN-X'05），第1-14页。ACM（2005） [22] Thomo，A.、Venkatesh，S.、Ye，Y.Y.：可视下推传感器，用于流式XML的近似验证。参见：第五届信息和知识系统基础国际研讨会论文集（FoIKS'08），LNCS第4932卷，第219-238页。施普林格（2008）·Zbl 1138.68435号 [23] Thompson，K.：正则表达式搜索算法。Commun公司。ACM 11（6），419-422（1968）·Zbl 0164.46205号 ·doi:10.1145/363347.363387 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。