6、细胞自动机动力学系统中的关键概念与性质

细胞自动机动力学系统中的关键概念与性质

1. 测度吸引子

在细胞自动机的研究中，测度吸引子是一个重要的概念。首先，我们来看一些相关的定义和命题。

• 定义 7 ：对于细胞自动机$(X, F)$，若存在$\epsilon > 0$，使得对于每一个$\sigma$-遍历测度$m \in M_{\sigma}(X)$，当$r(m, M_{\sigma}(S)) < \epsilon$时，有$r(F^n m, M_{\sigma}(S)) \to 0$（$n \to \infty$），则称$F$-不变子转移$S \subseteq X$吸引遍历测度。
• 命题 12 ：设$(X, F)$是细胞自动机，$D \subseteq l(X)^*$是一组禁词。那么对于每一个$m \in M_{\sigma}(X)$，有$\lim_{n \to \infty} r(F^n m, M_{\sigma}(S_D)) = 0$当且仅当对于所有$u \in D$，$\lim_{n \to \infty} (F^n m)(u) = 0$。
• 命题 13 ：设$(X, F)$是细胞自动机，$S \subseteq X$是具有吸引域$b_F(S) = {x \in X : \lim_{n \to \infty} d(x, S) = 0}$的子转移吸引子。若$m \in M_{\sigma}(X)$且$m(b_F(S)) = 1$，则$r(F^n m, M_{\sigma}(S)) \to 0$（$n \to \infty$）。特别地，对于所有$m \in