×
约阿希姆·布雷默;多米尼克·D·弗雷登伯格。

变量数目有界的模式的包含问题。 （英语） Zbl 1279.68134号

Inf.计算。 220-221, 15-43 (2012)。
摘要：我们研究由变量数目有限的模式生成的模式语言的包含问题。这延续了第二作者和D.赖登巴赫【Inf.Compute.208，No.1，83-96（2010；Zbl 1189.68071号)]通过表明将包含问题限制为更严格的模式类可以保持不可判定性，至少对于相对较大的边界是这样的。对于较小的界，我们证明了与Collatz猜想相关的具有复杂包含关系的模式类和开放包含问题的存在性。除此之外，我们给出了NE模式语言包含问题不可判定性的第一个证明，与以前的证明相比，该证明不依赖于E模式语言的包含问题，并证明了NE语言包含问题在二进制和三元字母表上的不可判定。

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机
65年第68季度 算法和问题复杂性分析

关键词：

夹杂物问题;模式语言;不可判定性;NE语言

引文：

Zbl 1189.68071号
PDF格式BibTeX公司 XML格式引用
\textit{J.Bremer}和\textit{D.Freydenberger}，Inf.Compute。220-221，15-43（2012年；兹bl 1279.68134）
全文： 内政部 链接

参考文献：

[1] Angluin，D.，《寻找一组字符串的共同模式》，《计算机与系统科学杂志》，2146-62（1980）·兹比尔0454.68108
[2] P.Barceló，C.A.Hurtado，L.Libkin，P.T.Wood，图形结构数据上路径查询的表达语言，in：Proc。第二十届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会，2010年PODS，2010年，第3-14页。；P.Barceló，C.A.Hurtado，L.Libkin，P.T.Wood，图形结构数据上路径查询的表达语言，in：Proc。第二十届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会，2010年PODS，2010年，第3-14页。
[3] J.Bremer，Inklusionsprobleme für nichtlöschende Patternsprachen，Diplorabeit，Institute für-Informatik，Goethe-Universität Frankfurt am Main，2010（德语）。；J.Bremer，Inklusionsprobleme für nichtlöschende Patternsprachen，Diplorabeit，Institute für-Informatik，Goethe-Universität Frankfurt am Main，2010（德语）。
[4] Bremer，J。；Freydenberger，D.D.，变量数量有界的模式的包含问题，（第14届语言理论发展国际会议论文集，DLT 2010。程序。第十四届国际语言理论发展会议，DLT 2010，计算机科学讲稿，第6224卷（2010），100-111·Zbl 1250.68148号
[5] Cámpeanu，C。；萨洛马，K。；Yu，S.，实用正则表达式的正式研究，国际计算机科学基础杂志，141007-118（2003）·Zbl 1101.68443号
[6] 乔夫鲁特，C。；Karhumäki，J.，《单词组合学》（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer），329-438，（第6章）·Zbl 0866.68057号
[7] Durnev，V.G.，自由半群的正（所有存在^3\）理论的不可解性，西伯利亚数学杂志，36,5917-929（1995）·Zbl 0853.20035号
[8] 埃伦菲赫特，A。；Rozenberg，G.，《发现两个单词之间的同态是NP-完全的》，《信息处理快报》，986-88（1979）·Zbl 0414.68022号
[9] Freydenberger，D.D.，《扩展正则表达式：简洁性和可判定性》，（第28届计算机科学理论方面国际研讨会论文集，STACS 2011。程序。第28届计算机科学理论方面国际研讨会，STACS 2011，Leibniz International Proceedings in Informatics，vol.9（2011），507-518·Zbl 1230.68129号
[10] D.D.Freydenberger，模式语言的包含及相关问题，博士论文，德国法兰克福大学信息研究所，洛戈斯·弗拉格，柏林，2011年。；D.D.Freydenberger，模式语言的包含和相关问题，博士论文，法国信息研究所，德国法兰克福大学，Logos Verlag，柏林，2011年。
[11] Freydenberger，D.D。；Reidenbach，D.，《关于模式、信息和计算的决策问题的坏消息》，208，1，83-96（2010）·Zbl 1189.68071号
[12] O.H.伊巴拉。；Pong，T.C。；Sohn，S.M.，关于解析模式语言的注释，模式识别字母，16，2，179-182（1995）
[13] 姜涛（Jiang，T.）。；Kinber，E。；Salomaa，A。；萨洛马，K。；Yu，S.，有擦除和无擦除的模式语言，《国际计算机数学杂志》，50，147-163（1994）·Zbl 0939.68690号
[14] 姜涛（Jiang，T.）。；Salomaa，A。；萨洛马，K。；Yu，S.，模式的决策问题，《计算机与系统科学杂志》，50，53-63（1995）·Zbl 0827.68066号
[15] Lagarias，J.C.，《（3 x+1）问题：注释书目》（1963-1999）（2009）
[16] Lagarias，J.C.，《（3 x+1）问题：注释书目》，II（2000-2009）（2009）
[17] （Lagarias，J.C.，《终极挑战：（3 x+1）问题》（The Ultimate Challenge:The（3 x+1）Problem）（2010），美国数学学会：美国数学学会普罗维登斯，RI，USA）·Zbl 1253.11003号
[18] Margenstern，M.，《可判定性和不可判定性之间的边界：一项调查》，《理论计算机科学》，231,2217-251（2000）·Zbl 0956.03041号
[19] 米特拉纳，V.，《模式与语言：概述》，《语法》，第2、2、149-173页（1999年）·Zbl 0965.68049号
[20] Neary，T。；Woods，D.，《四台小型通用图灵机器》，《基础信息》，91，1，123-144（2009）·Zbl 1191.68307号
[21] Ng，Y.K。；Shinohara，T.，《从实证数据中探究模式语言可学习性的发展》，《理论计算机科学》，397150-165（2008）·Zbl 1145.68025号
[22] Ohlebusch，E。；Ukkonen，E.，关于E模式语言的等价问题，理论计算机科学，186，231-248（1997）·Zbl 0903.68110号
[23] D.Reidenbach，自由幺半群中语素的歧义及其对模式语言算法属性的影响，博士论文，Fachbereich Informatik，凯泽斯劳滕理工大学，Logos Verlag，柏林，2006。；D.Reidenbach，自由幺半群中语素的歧义及其对模式语言算法属性的影响，博士论文，Fachbereich Informatik，凯泽斯劳滕理工大学，Logos Verlag，柏林，2006。
[24] Salomaa，K.，Patterns，（Martin-Vide，C.；Mitrana，V.；Péun，G.，《形式语言和应用》，《模糊性和软计算研究》，第148卷（2004），Springer），367-379·Zbl 1089.68059号
[25] Shinohara，T.，《扩展正则模式语言的多项式时间推断》，（《RIMS软件科学与工程研讨会论文集》，《RIMS软科学与工程会议论文集》（京都），《RIPS软件科学与工程学会议论文集论文集》。程序。RIMS软件科学与工程研讨会，京都，计算机科学讲义，第147卷（1982年），115-127·兹比尔0511.68050
[26] Thue，A.，unendliche Zeichenreihen，克拉。维登斯克。塞尔斯克。斯克里夫特。I Mat.Nat.Kl.（Nagell，T.，Axel Thue数学论文选集（1977），Universitetsforlaget:Universitets forlaget-Oslo），7（1906），（德语）；重印
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。