A deterministic two-way multi-head finite automaton can be converted into a reversible one with the same number of heads
A deterministic two-way multi-head finite automaton can be converted into a reversible one with the same number of heads
复制标题
确定性双向多头有限自动机可以转换为具有相同头数的可逆自动机
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
K. Morita
中科院分区：
文献类型：
--
作者：
Yuki Ago;Yasuaki Ito;Koji Nakano;K. Morita
登录
查看更多内容
DOI：
10.1007/978-3-642-28332-1_9
发表时间：
2012
期刊：
Journal of Electron Microscopy
影响因子：
--
作者：
Holger Bock Axelsen
通讯作者：
Holger Bock Axelsen
可逆空间等于确定性空间
DOI：
10.1109/ccc.1997.612299
发表时间：
1997
期刊：
Proceedings of Computational Complexity. Twelfth Annual IEEE Conference
影响因子：
--
作者：
Klaus;P. McKenzie;Alain Tapp
通讯作者：
Alain Tapp
停止空间有限的计算
DOI：
10.1016/0304-3975(80)90053-5
发表时间：
1978
期刊：
19th Annual Symposium on Foundations of Computer Science (sfcs 1978)
影响因子：
--
作者：
M. Sipser
通讯作者：
M. Sipser
多头有限自动机的复杂性：起源和方向
DOI：
10.1016/j.tcs.2010.08.024
发表时间：
2011
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Holzer;Martin Kutrib;Andreas Malcher
通讯作者：
Andreas Malcher