×
多米尼克·D·弗雷登伯格。;丹尼尔·雷登巴赫

关于模式决策问题的坏消息。 （英语） 兹比尔1189.68071

Inf.计算。 208，编号1，83-96（2010）。
摘要：我们研究模式语言的包含问题，这是由于T.Jiang、A.Salomaa、K.Salomaa和S.Yu（S.余）[“模式的决策问题”，J.Comput.Syst.Sci.50，No.1，53-63（1995；Zbl 0827.68066号)]–已知不可判定。更确切地说，Jiang等人证明，没有有效的程序来决定在所有字母表上包含所有模式语言的类。然而，模式语言的大多数应用都考虑固定字母上的类，因此，要求存在特定于字母的决策过程实际上更为相关。我们的第一个主要结果表明，除了非常特殊的情况外，对于所有情况，这个版本的包含问题也是不可判定的。本文的第二个主要部分反驳了关于包含所谓的相似E模式语言的普遍猜测，并解释了这一结果对之前对模式语言最突出的开放决策问题的深入研究的破坏性后果，即一般E模式语言的等价问题。

引用于2评论
引用于13文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

字母表特定的决策程序;类似的E模式语言

引文：

Zbl 0827.68066号
PDF格式BibTeX公司 XML格式引用
\textit{D.Freydenberger}和\textit{D.Reidenbach}，Inf.Comput。208，编号1，83--96（2010；Zbl 1189.68071）
全文： 内政部 链接

参考文献：

[1] Angluin，D.，《寻找一组字符串的共同模式》，《计算机与系统科学杂志》，2146-62（1980）·Zbl 0454.68108号
[2] Angluin，D.，从正数据中归纳出形式语言，信息与控制，45117-135（1980）·Zbl 0459.68051号
[3] Cámpeanu，C。；萨洛马，K。；Yu，S.，实用正则表达式的正式研究，《国际计算机科学基础杂志》，14，1007-1018（2003）·Zbl 1101.68443号
[4] Dányi，G。；Fülöp，Z.，关于E模式等价问题的注释，《信息处理快报》，57125-128（1996）·Zbl 0875.68600号
[7] 弗雷登伯格，D。；赖登巴赫，D。；Schneider，J.，《字符串的明晰图像》，《国际计算机科学基础杂志》，17，601-628（2006）·Zbl 1110.68119号
[8] Ibarra，O.，《可逆有界多计数器及其决策问题》，《美国计算机学会期刊》，第25期，第116-133页（1978年）·Zbl 0365.68059号
[9] 姜涛（Jiang，T.）。；Kinber，E。；Salomaa，A。；萨洛马，K。；Yu，S.，有擦除和无擦除的模式语言，《国际计算机数学杂志》，50，147-163（1994）·Zbl 0939.68690号
[10] 姜涛（Jiang，T.）。；Salomaa，A。；萨洛马，K。；Yu，S.，模式的决策问题，《计算机与系统科学杂志》，50，53-63（1995）·Zbl 0827.68066号
[11] Karhumäki，J。；偏头痛，F。；Plandowski，W.，《语言的表达性和单词方程之间的关系》，《ACM杂志》，第47期，第483-505页（2000年）·兹比尔1094.68618
[13] Mateescu，A。；Salomaa，A.，模式语言中的有限模糊度，RAIRO Informatique Théoretique et Applications，28233-253（1994）·Zbl 0883.68076号
[14] Mateescu，A。；Salomaa，A.，《模式》（Rozenberg，G.；Salomaaa，A.，形式语言手册，第1卷（1997），Springer），230-242，（第4.6章）·Zbl 0866.68057号
[15] Minsky，M.，图灵机理论中Post's“Tag”问题的递归不可解性和其他主题，《数学年鉴》，74437-455（1961）·Zbl 0105.00802号
[17] Ng，Y。；Shinohara，T.，《从实证数据中探究模式语言可学习性的发展》，《理论计算机科学》，397150-165（2008）·Zbl 1145.68025号
[18] Ohlebusch，E。；Ukkonen，E.，关于E模式语言的等价问题，理论计算机科学，186，231-248（1997）·Zbl 0903.68110号
[19] Reidenbach，D.，自由单体中形态的模糊性及其对模式语言算法属性的影响
[20] Reidenbach，D.，E模式语言的一个不可学习类，理论计算机科学，350，91-102（2006）·Zbl 1086.68116号
[21] Reidenbach，D.，对Ohlebusch和Ukkonen关于E模式语言等价问题的猜想的检验，《自动化杂志，语言和组合数学》，12，407-426（2007）·Zbl 1149.68054号
[22] Reidenbach，D.，模式推理中的不连续性，理论计算机科学，397166-193（2008）·Zbl 1145.68027号
[23] Rozenberg，G。；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer:Springer Berlin·Zbl 0866.68057号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。