1、细胞自动机的基本概念

细胞自动机的基本概念

1. 引言

细胞自动机（CA）是一种离散动力系统，由无限阵列的细胞组成。每个细胞的状态来自一个有限状态集，细胞根据局部更新规则同步改变状态，该规则依据细胞及其邻居的旧状态提供新状态。这种更新在离散时间步长上不断重复，从而导致系统的时间演化。

CA 是自然计算中最古老的模型之一，其研究可追溯到半个多世纪前。20 世纪 40 年代末，John von Neumann 受生物学启发，开始研究 CA 与通用系统中的自我复制相关问题。此后，CA 作为物理系统的离散模型受到广泛关注，因为它具有物理世界的几个基本属性：大规模并行性、同质性，且所有相互作用都是局部的。通过适当选择局部更新规则，还可以添加其他重要的物理约束，如可逆性和守恒定律。

同时，CA 也被广泛研究作为计算模型。计算通用性在 CA 中很常见，即使是非常简单的 CA 也能够执行任意计算任务，例如 Conway 的生命游戏和基本规则 110。由于 CA 具有并行性的优势，同时遵循局部性和均匀性等自然约束，它为研究大规模并行系统中的现实计算提供了一个框架。

从数学角度看，将 CA 视为符号动力学背景下的动力系统是一种流行的方法。1969 年 Hedlund 的开创性论文中就报道了该领域的一些有趣结果，直到今天，这仍然是 CA 理论中问题和新结果的最丰富来源之一。

2. 预备知识

这里只考虑基本的 CA 模型：确定性、同步 CA，其底层网格是无限的矩形网格。细胞是无限 d 维棋盘的方格，用 $\mathbb{Z}^d$ 表示地址。一维、二维和三维情况最为常见，且一维 CA 在很多方面与高维 CA 的行为有很大不同。

2.1 基本