小型通用图灵机的复杂性：综述
计算复杂性
2011-10-12 v1
摘要
我们综述了一些关于小型通用图灵机、元胞自动机、标记系统和其他简单计算模型的工作。例如，长期以来一个悬而未决的问题是，Minsky、Rogozhin、Baiocchi和Kudlek已知的最小通用图灵机是否是图灵机的高效（多项式时间）模拟器。这些是一些最直观简单的计算设备，此前已知的最佳模拟是指数级缓慢的。我们讨论了最近的工作，表明这些机器确实是高效的模拟器。此外，另一个相关结果表明，规则110（一种著名的基础元胞自动机）是高效通用的。我们还讨论了一些新旧通用程序规模结果，包括已知的最小通用图灵机。最后，我们总结了关于广义和受限图灵机模型的结果，包括具有周期性背景（而非空白符号）的磁带、多磁带、多维度以及从不写入磁带的机器。然后我们讨论了一些未来工作的想法。
引用
@article{arxiv.1110.2230,
title = {The complexity of small universal Turing machines: a survey},
author = {Turlough Neary and Damien Woods},
journal= {arXiv preprint arXiv:1110.2230},
year = {2011}
}