×
马丁·库特里布;安德烈亚斯·马尔彻

单向可逆多头有限自动机。 （英语） Zbl 1371.68156号

西奥。计算。科学。 682, 149-164 (2017).
摘要：单向多头有限自动机被认为具有执行可逆计算的能力。研究表明，对于每个头数（k\geq1），都存在可以用单向头有限自动机解决的问题，但不能用任何单向可逆头有限自自动机解决。此外，对于单向可逆多头有限自动机，得到了一个合适的头层次。还研究了闭包性质和可判定性问题。事实证明，具有两个头的单向可逆有限自动机仍然是一个强大的模型，因为几乎所有通常研究的问题都不是半可判定的。最后，研究了描述性复杂性方面，并给出了非递归权衡。

引用于8文件

MSC公司：

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

关键词：

单向多头有限自动机;可逆计算;可判定性问题
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，Theor。计算。科学。682149-164（2017年；Zbl 1371.68156）
全文： 内政部

参考文献：

[1] Angluin，D.，《可逆语言的推理》，J.ACM，29741-765（1982）·Zbl 0485.68066号
[2] Axelsen，H.B.，《可逆多头有限自动机描述可逆对数空间》，（语言和自动机理论与应用，语言与自动机理论和应用，LATA 2012）。语言与自动机理论与应用。语言与自动机理论与应用，LATA 2012，LNCS，第7183卷（2012），Springer），95-105·Zbl 1351.68132号
[3] Bennett，C.H.，《计算的逻辑可逆性》，IBM J.Res.Develop。，17, 525-532 (1973) ·兹比尔0267.68024
[4] Hartmanis，J.，《简单计算设备中的不确定性》，《信息学报》。，1, 336-344 (1972) ·兹比尔0229.68014
[5] Hartmanis，J.，《论语言不同表现形式的简洁性》，SIAM J.Compute。，9, 114-120 (1980) ·Zbl 0453.68054号
[6] 霍尔泽，M。；Kutrib，M.，《描述复杂性——介绍性调查》，（语言方法的科学应用（2010），帝国理工大学出版社），1-58·Zbl 1227.68033号
[7] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley·Zbl 0196.01701号
[8] Hromković，J.，《On-way multi-head确定性有限自动机》，《信息学报》。，19, 377-384 (1983) ·Zbl 0504.68049号
[9] Kutrib，M.，《非递归权衡现象》，国际。J.发现。计算。科学。，16, 957-973 (2005) ·Zbl 1090.68058号
[10] 库特里布，M。；Malcher，A.，使用细胞自动机的快速可逆语言识别，Inf.Compute。，206, 1142-1151 (2008) ·Zbl 1154.68082号
[11] 库特里布，M。；Malcher，A.，实时可逆迭代阵列，Theoret。计算。科学。，411, 812-822 (2010) ·Zbl 1183.68345号
[12] 库特里布，M。；Malcher，A.，可逆下推自动机，J.Compute。系统科学。，78, 1814-1827 (2012) ·Zbl 1250.68166号
[13] 库特里布，M。；Malcher，A.，实时可逆单向细胞自动机，（细胞自动机和离散复杂系统。细胞自动机与离散复杂系统，automata 2014。元胞自动机和离散复杂系统。元胞自动机和离散复杂系统，Automata 2014，LNCS，第8996卷（2015），Springer），56-69·Zbl 1432.68282号
[14] 库特里布，M。；Malcher，A。；Wendlandt，M.，一元多头有限自动机的头和状态层次结构，Acta Inform。，51, 553-569 (2014) ·兹比尔1304.68110
[15] 库特里布，M。；Malcher，A。；Wendlandt，M.，可逆队列自动机，（《自动机与应用的非经典模型》，《自动机与应用的非经典模型》，NCMA 2014。自动机的非经典模型及其应用。非经典自动机模型与应用，NCMA 2014，books@ocg.at，第304卷（2014），奥地利计算机学会），163-178
[16] 库特里布，M。；Malcher，A。；Wendlandt，M.，Set automata，国际。J.发现。计算。科学。，27, 187-214 (2016) ·Zbl 1352.68134号
[17] Landauer，R.，《计算过程中的不可逆性和发热》，IBM J.Res.Develop。，5, 183-191 (1961) ·Zbl 1160.68305号
[18] Malcher，A.，《细胞自动机的描述复杂性和可判定性问题》，J.Autom。语言梳。，7, 549-560 (2002) ·Zbl 1095.68611号
[19] Meyer，A.R。；Fischer，M.J.，自动机、语法和形式系统描述的经济性，（交换和自动机理论研讨会。交换和自动理论研讨会，SWAT 1971（1971），IEEE），188-191
[20] Morita，K.，《可逆计算和细胞自动机——一项调查》，Theoret。计算。科学。，395, 101-131 (2008) ·Zbl 1145.68036号
[21] Morita，K.，双向可逆多头有限自动机，基金。通知。，110, 241-254 (2011) ·Zbl 1234.68230号
[22] 菲利普斯，国际刑事法院。；Ulidowski，I.，《逆向代数过程计算》，J.Log。阿尔盖布。程序。，73, 70-96 (2007) ·Zbl 1123.68065号
[23] Pin，J.-E.，《可逆自动机论》，（拉丁语1992:理论信息学，拉丁语1998:理论信息，LNCS，第583卷（1992），斯普林格），401-416
[24] Rosenberg，A.L.，《关于多头有限自动机》，IBM J.Res.Develop。，10, 388-394 (1966) ·Zbl 0168.01303号
[25] Sudborough，I.H.，单向多头写有限自动机，Inf.Control，30，1-20（1976）·Zbl 0337.02023号
[26] 姚，A.C。；Rivest，R.L.，（k+1）水头优于（k），J.ACM，25，337-340（1978）·Zbl 0372.68017号
[27] 横山，T.，可逆计算和可逆编程语言，电子。注释Theor。计算。科学。，253, 71-81 (2010)
[28] 横山，T。；阿克塞尔森，H.B。；Glück，R.，《可逆流程图语言和结构化可逆程序定理》，（国际自动机学术讨论会，语言和编程。国际自动机研讨会，语言和程序设计，ICALP 2008。自动化、语言和编程国际学术讨论会。自动化、语言和编程国际学术讨论会，ICALP 2008，LNCS，第5126卷（2008），Springer），258-270·Zbl 1155.68388号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。