伤口凝胶 具有交错、交集和计数的正则表达式的简洁性。 （英语） Zbl 1192.68120号 西奥。计算。科学。 411，编号31-33，2987-2998（2010）. 摘要：我们研究了用交织、交集和计数算子扩展的正则表达式的简洁性。我们表明，在从具有交错的RE到标准正则表达式的转换中，无法避免大小的双指数增长。我们还考虑了有限自动机翻译的复杂性。我们给出了相交于NFA的RE转换的紧指数下限，并且对于三类RE中的每一类，我们表明在转换为DFA时，无法避免双指数大小增加。结合已知的结果，这给出了将通过交错、交集或计数扩展的RE转换为（标准）正则表达式、NFA和DFA的复杂性的完整描述。 引用于11文件 MSC公司： 68甲15 编程语言理论 关键词：正则表达式;简洁 软件：放松NG;佩尔 PDF格式BibTeX公司 XML格式引用 \文本{W.Gelade}，Theor。计算。科学。411，编号31-332987--2998（2010；Zbl 1192.68120） 全文： 内政部 链接 参考文献： [1] G.Bex，W.Gelade，F.Neven，S.Vansummeren，学习确定性正则表达式以从XML数据推断模式，收录于：WWW，2008年，第825-834页。；G.Bex，W.Gelade，F.Neven，S.Vansummeren，学习确定性正则表达式以从XML数据推断模式，收录于：WWW，2008年，第825-834页。 [2] G.Bex，F.Neven，T.Schwentick，K.Tuyls，从XML数据推断简明DTD，载于：VLDB，2006，第115-126页。；G.Bex，F.Neven，T.Schwentick，K.Tuyls，从XML数据推断简明DTD，收录于：VLDB，2006年，第115-126页。 [3] G.Bex，F.Neven，S.Vansummeren，《从XML数据推断XML模式定义》，载于：VLDB，2007年，第998-1009页。；G.Bex，F.Neven，S.Vansummeren，《从XML数据推断XML模式定义》，载于：VLDB，2007年，第998-1009页。 [4] Brüggemann-Klein，A.，有限自动机的正则表达式，理论计算机科学，120，2，197-213（1993）·Zbl 0811.68096号 [5] J.Clark，M.Murata，RELAX NG规范，OASIS（2001年12月）。统一资源定位地址http://www.oasis-open.org/committees/relax-ng/spec-20011203.html; J.Clark，M.Murata，RELAX NG规范，OASIS（2001年12月）。统一资源定位地址http://www.oasis-open.org/committees/relax-ng/spec-20011203.html [6] 科恩，R.S。，转移图的秩递增变换，信息与控制，20,2,93-113（1972）·Zbl 0237.94020号 [7] Eggan，L.C.，《过渡图和规则事件的恒星高度》，《密歇根数学杂志》，10385-397（1963）·Zbl 0173.01504号 [8] 埃伦菲赫特，A。；Zeiger，H.，正则表达式的复杂性度量，《计算机与系统科学杂志》，12，2，134-146（1976）·Zbl 0329.94024号 [9] Ellul，K。；Krawetz，B。；沙利特，J。；Wang，M.，正则表达式：新结果和开放问题，《自动机杂志》，语言和组合数学，10，4，407-437（2005）·Zbl 1143.68434号 [10] Fürer，M.，带交集正则表达式不等价问题的复杂性，（de Bakker，J.W.；van Leeuwen，J.，ICALP.ICALP，LNCS，第85卷（1980），Springer），234-245·Zbl 0444.68072号 [11] W.Gelade，《XML的基础：正则表达式的重新审视》，哈塞尔特大学博士论文，2009年。；W.Gelade，《XML的基础：重访正则表达式》，哈塞尔大学博士论文，2009年。 [12] Gelade，W。；马滕斯，W。；Neven，F.，优化XML模式语言：数值约束和交错，（Schwentick，T.；Suciu，D.，ICDT.ICDT，LNCS，第4353卷（2007），Springer），269-283 [13] W.Gelade，F.Neven，补语的简洁性和正则表达式的交集，收录于：STACS，2008年，第325-336页。；W.Gelade，F.Neven，补语的简洁性和正则表达式的交集，收录于：STACS，2008年，第325-336页·Zbl 1259.68107号 [14] H.Gruber，《论正则语言的描述和算法复杂性》，博士论文，Gießen Justus Liebig大学，2009年。；H.Gruber，《正则语言的描述和算法复杂性》，博士论文，Justus-Liebig-Universität Gießen，2009年。 [15] Gruber，H。；Holzer，M.，《有限自动机、有向图连通性和正则表达式大小》，（Aceto，L.；Damgórd，I.；Goldberg，L.A.；Halldórsson，M.M.；Ingólfsdóttir，A.；Walukiewicz，I.，ICALP（2）。ICALP（2），LNCS，第5126卷（2008），施普林格），39-50·Zbl 1155.68418号 [16] H.Gruber，M.Holzer，《多项式大小正则表达式的语言运算》，载于：DCFS，2008年，第182-193页。；H.Gruber，M.Holzer，多项式大小正则表达式的语言运算，见：DCFS，2008，第182-193页。 [17] Gruber，H。；Holzer，M.，《确定性有限自动机的可证明更短正则表达式》（Ito，M.；Toyama，M.、DLT.DLT、LNCS，第5257卷（2008），Springer），383-395·Zbl 1161.68533号 [18] Gruber，H。；Holzer，M.，正则表达式描述复杂性的严格界限，（Diekert，V.；Nowotka，D.，DLT.DLT，LNCS，vol.5583（2009），Springer），276-287·Zbl 1247.68141号 [19] Gruber，H。；Johannsen，J.，使用通信复杂性的正则表达式大小的最佳下限，（Amadio，R.M.，FoSSaCS.FoSSaCS，LNCS，第4962卷（2008），Springer），273-286·Zbl 1139.68033号 [20] 休谟，A.，《两个伟大人物的故事》，《软件、实践和经验》，第18、11、1063-1072页（1988年） [21] 姜涛（Jiang，T.）。；Ravikumar，B.，关于有限自动机一些决策问题的空间复杂性的注释，《信息处理快报》，40，1，25-31（1991）·Zbl 0741.68078号 [22] P.Kilpeläinen，R.Tuhkanen，带数字出现指示符的正则表达式-初步结果，见SPLST，2003年，第163-173页。；P.Kilpeläinen，R.Tuhkanen，带数字出现指示符的正则表达式-初步结果，见SPLST，2003年，第163-173页。 [23] 库普夫曼，O。；Zuhovitzky，S.，《扩展正则表达式成员资格问题的改进算法》，（Diks，K.；Rytter，W.，MFCS.MFCS，LNCS，vol.2420（2002），Springer），446-458·Zbl 1014.68088号 [24] 梅耶，A.J。；Stockmeyer，L.J.，《单词问题——这一次使用交错，信息与计算》，115，2，293-311（1994） [25] McNaughton，R.，纯组事件的循环复杂性，信息与控制，11，1/2，167-176（1967）·Zbl 0166.26905号 [26] McNaughton，R.，《常规事件的循环复杂性》，信息科学，1，3，305-328（1969） [27] A.R.Meyer，L.J.Stockmeyer，带平方的正则表达式的等价问题需要指数空间，见：FOCS，1972年，第125-129页。；A.R.Meyer，L.J.Stockmeyer，带平方的正则表达式的等价问题需要指数空间，见：FOCS，1972年，第125-129页。 [28] H.Petersen，广义正则表达式的决策问题，载：DCAGRS，2000，第22-29页。；H.Petersen，广义正则表达式的决策问题，载于：DCAGRS，2000年，第22-29页。 [29] Petersen，H.，具有交集的正则表达式的成员资格问题在LOGCFL中是完整的，（Alt，H.；Ferreira，A.，STACS.STACS，LNCS，vol.2285（2002），Springer），513-522·Zbl 1054.68071号 [30] Robson，J.M.，《半扩展正则表达式的补码空性问题需要（c^n）空间》，《信息处理快报》，9，5，220-222（1979）·Zbl 0423.68010号 [31] 斯科特·R。；Spehner，J.C。，单词和南洋杉树的洗牌，《信息基础》，74，4，579-601（2006）·Zbl 1106.68064号 [32] C.Sperberg-McQueen，H.Thompson，XML Schema，2005年。http://www.w3.org/XML/Schema网站; C.Sperberg-McQueen，H.Thompson，XML Schema，2005年。http://www.w3.org/XML/Schema网站 [33] L.J.Stockmeyer，A.R.Meyer，《需要指数时间的单词问题：初步报告》，STOC，1973年，第1-9页。；L.J.Stockmeyer，A.R.Meyer，《需要指数时间的单词问题：初步报告》，STOC，1973年，第1-9页·Zbl 0359.68050号 [34] 沃尔，L。；Christiansen，T。；Orwant，J.，《编程Perl》（2000），O'Reilly·Zbl 0949.68015号 [35] Yu，S.，正规语言，（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer），41-110，（第2章）·Zbl 0866.68057号 [36] Yu，S.，正则语言的状态复杂性，《自动机杂志》，语言与组合数学，6，2，221-234（2001）·Zbl 0978.68087号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。