小型通用图灵机的复杂性：一项调查
摘要：关于小型通用图灵机、细胞自动机、标签系统和其他简单计算模型的一些研究 一直以来，人们一直关注着一些问题，比如除了Minsky、Rogozhin、Baiocchi和Kudlek所知的最小通用图灵机是有效（多项式时间）的图灵机模拟器这个问题。这些都是直观简单的计算设备，而以前已知的最佳模拟器速度很慢。我们讨论了最近的工作，表明这些机器确实是有效的模拟器。此外，另一个相关的结果表明，著名的元胞自动机——规则110，也是有效的通用机器。我们还讨论了一些关于通用程序大小的新旧结果，包括已知的最小通用图灵机。我们在调查中还涵盖了关于广义和受限图灵机模型的结果，包括在带子上具有周期性背景（而不是空白符号）、多个带子、多个维度和永远不会写入带子的机器。随后，我们讨论了一些未来工作的想法。
作者：Turlough Neary and Damien Woods
论文ID：1110.2230
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-10-12