兰顿蚂蚁的复杂性
摘要：使用C. Langton介绍的虚拟蚂蚁具有有趣的行为，已经在几个环境中进行了研究。本文给出了一种使用单个蚂蚁的轨迹来计算任何布尔电路的构造方法。这证明了该系统的P-难度，并通过对一维元胞自动机和图灵机的模拟，证明了蚂蚁的普遍性以及与之相关的某些问题的不可判定性。
作者：Anahi Gajardo, Andres Moreira and Eric Goles
论文ID：nlin/0306022
分类：Cellular Automata and Lattice Gases
分类简称：nlin.CG
提交时间：2007-05-23