数保守细胞自动机的普遍性和可决定性
摘要：数保守的细胞自动机 (NCCA) 特别有趣，既因为其作为现实系统模型的自然表现，又因为数保守性所暗示的强限制。在这里，我们将该属性的定义扩展到包括具有任何状态集的细胞自动机中，并且展示它们可以总是扩展为具有连续状态的“常规” NCCA。我们展示了一种通过一维 NCCA 模拟任何一维 CA 的方法，证明了内在通用 NCCA 的存在。最后，我们提供了一个算法来判断给定的 CA 是否可以用整数标记其状态以生成 NCCA，并找到标记方法（如果答案是肯定的）。
作者：Andres Moreira
论文ID：nlin/0306032
分类：Cellular Automata and Lattice Gases
分类简称：nlin.CG
提交时间：2007-05-23