×
特罗·哈尔朱;奥斯卡·伊巴拉;朱哈尼·卡胡马基;阿托·萨洛马

关于半线性和可换性的一些决策问题。 （英语） Zbl 1059.68061号

J.计算。系统。科学。 65，第278-294号（2002年）。
摘要：设\（\mathcal M\）是一类自动机（在精确意义上有待定义），\（\mathcal M_c\）是通过用有限多个反向有界计数器扩充\（\mathcal M\）中的每个自动机而获得的类。我们证明，如果由\（mathcal M\）定义的语言是有效的半线性的，那么由\（mathcal M_c）定义的这些语言也是有效的半线性的，因此，它们的空性问题是可判定的。我们举例说明了如何利用这个结果来证明关于语言上的语态等价性的某些问题的可判定性。我们还证明了语言交换的一个令人惊讶的不可判定性结果：给定一个固定的二元码（K\），给定的无上下文语言（L\）是否与（K\，即（LK=KL\）交换是不可判定的。

引用于34文件

MSC公司：

65年第68季度 形式语言和自动机
68兰特 单词组合学

关键词：

可逆边界计数器;无上下文语言;字的组合;语言的交换;形态。
PDF格式BibTeX公司 XML格式引用
\textit{T.Harju}等人，J.Compute。系统。科学。65，第2号，278--294（2002；Zbl 1059.68061）
全文： 内政部

参考文献：

[1] 布雷维利埃，L。；Cherubini，A。；Citrini，C。；Crespi Reghizzi，S.，《多种下推语言和语法》，国际出版社。J.发现。计算。科学。，7, 253-291 (1996) ·Zbl 0859.68053号
[2] 乔夫鲁特，C。；Karhumäki，J.，单词组合学，（Salomaa，A.；Rozenberg，G.，《形式语言手册》，1（1997），Springer-Verlag:Springer-Verlag Berlin），329-438·Zbl 0866.68057号
[3] C.Choffrut和J.Karhumäki，用一组两个单词来表征单词的子集，在里面; C.Choffrut和J.Karhumäki，用一组两个单词来表征单词的子集，在里面·Zbl 0964.68119号
[4] 乔夫鲁特，C。；Karhumäki，J。；Ollinger，N.，有限集的交换：挑战性问题，理论。计算。科学。(2001)
[5] 库利克，K。；Salomaa，A.，《关于语言同态等价的可判定性》，J.Compute。系统科学。，17, 163-175 (1978) ·Zbl 0389.68042号
[6] Z.Dang，《无限状态实时系统的验证与调试》，博士论文，加州大学圣巴巴拉分校，2000年。；Z.Dang，《无限状态实时系统的验证与调试》，加州大学圣巴巴拉分校博士论文，2000年。
[7] Ginsburg，S.，《上下文无关语言的数学理论》（1966），麦格劳-希尔出版社，纽约·兹比尔0184.28401
[8] S.A.Greibach，检查自动机和单向堆栈语言，SDC文件TM 738/045/00; S.A.Greibach，检查自动机和单向堆栈语言，SDC文件TM 738/045/00·Zbl 0174.02702号
[9] Gurari，E.M。；Ibarra，O.H.，《有限回转多计数器机器决策问题的复杂性》，J.Compute。系统科学。，22, 220-229 (1981) ·Zbl 0458.68011号
[10] 哈拉瓦，V。；Harju，T.，整数加权有限自动机中的不确定性，基础。Inf.，38，189-200（1999）·Zbl 0935.68060号
[11] Harrison，M.，《形式语言理论导论》（1978），Addison-Wesley：Addison-Whesley阅读·Zbl 0411.68058号
[12] Horvath，S。；Karhumäki，J。；Kleijn，H.C.M.，《关于回文性的结果》，J.Internat。过程。网络。EIK，23，441-451（1987）·Zbl 0634.68072号
[13] Ibarra，O.H.，《反向有界多计数器机器及其决策问题》，J.ACM，25，116-133（1978）·Zbl 0365.68059号
[14] O.H.伊巴拉。；布尔坦，T。；Su，J.，无限状态过渡系统某些模型的可达性分析，（Catuscia，Palamidessi，第十一届并行理论国际会议论文集（CONCUR 2000），1877（2000），Springer-Verlag:Springer-Verlag Berlin），183-198·Zbl 0999.68139号
[15] O.H.伊巴拉。；姜涛（Jiang，T.）。；Tran，N.公司。；Wang，H.，关于双向计数器的新可判定性结果，SIAM J.Compute。，24, 123-137 (1995) ·Zbl 0828.68075号
[16] Karhumäki，J。；Lisovik，L.P.，一个简单的不可判定问题：（ab^*c）上有限代换的包含问题，Inform。和计算。(2001) ·兹比尔1082.68054
[17] Lothaire，M.，《单词组合学》（1983年），《艾迪生-韦斯利：艾迪生·韦斯利阅读》·兹比尔0514.20045
[18] Parikh，R.，《论上下文无关语言》，美国计算机学会，13570-581（1966）·Zbl 0154.25801号
[19] Salomaa，A.，《形式语言》（1973），学术出版社：纽约学术出版社·Zbl 0262.68025号
[20] Sénizergues，G.，确定性下推自动机的等价问题是可判定的，Theoret。计算。科学。，251, 1-166 (2001) ·Zbl 0957.68051号
[21] Stirling，C.，DPDA等价性的判定，Theoret。计算。科学。，225, 1-31 (2001) ·Zbl 0974.68056号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。