状态机的若干代数性质.pdfVIP

定理 2.4.5 一个完全状态机可以唯一地分解为一些不可分解的完全状态机的直和. 第 3 章是关于有限交换环上的线性元胞自动机的研究. 本章对一类特殊的状态机—元 胞自动机进行了专门的讨论,定义了齐次线性元胞自动机, 并在齐次线性元胞自动机矩阵表 示的基础上证明了有限交换环上的齐次线性元胞自动机的一组定理, 同时借此分析某些典 型齐次线性元胞自动机的演化性质. 最后简要讨论了非齐次线性元胞自动机的群性质.所得 主要结果如下: 命题3.1.2 设HLCA 为R 上演化规则和边界条件为φ 的Ν-元胞齐次线性元胞自动机, 则存在 ( ) ( ) M N R 中的矩阵T , 使对HLCA 的任意状态A ,有φ A TA . 定理 3.2.2 已知有一个HLCA , T 为其特征矩阵, 则有该HLCA 为群HLCA 的充分 必要条件是det(T ) 在R 中可逆. 定理 3.2.4 设T 为一个HLCA 的特征矩阵, 若存在一个非零初始状态A ()t 在长为p 的 圈或长为p 的因子的圈上,则有det(T p −I ) 在R 中不可逆. 命题 3.2.5 设T 为一个HLCA 的特征矩阵, 且 T 为群, 若 T 的阶n 为合数, 则该HLCA 的状态变换图中的圈长只能为n 的因子. 定理 3.2.6 设T 为一个HLCA 的特征矩阵, 若det(T ) 在R 中可逆,从而T 是群, 那 么该HLCA 的状态变换图为一些圈的并, 并且所有的圈长均整除n , 其中 T n . 定理 3.2.7 设有一个R ( R q )上的HLCA , T 为它的特征矩阵. 若T 为指数为k 的幂零矩阵, 那么这个 HLCA 的状态变换图为高度为k 的树; 并且此树中的非叶子点有 N q 个, 每个非叶子点有m 个前趋, 其中 m 为方程TX 0 在R 中解的个数; 0 是唯一的 m 稳定点. 定理 3.2.9 设T 为一个HLCA 的特征矩阵,那么 (1)若这个HLCA 的状态变换图为树,则T 为幂零矩阵且T 的幂零指数为树的高度. (2)若这个HLCA 的状态变换图为若干圈的并,则T 为可逆的. 定 理 3.3.5 设 G , G , L, G 分 别 为 齐 次 线 性 元 胞 自 动 机 1 2 n HLCA ,HLCA , L, HLCA 的状态变换图, T ,T , L,T 分别为它们的特征矩阵, 则 1 2 n 1 2 n III n (1) 若 G , G , L, G 均有圈 , 则 ∏HLCAi 的状态变换图中的极大圈长为 1 2 n i 1 {[ ] } max m , m , L, m m 为G 中的圈长，i 1,2, L, n . 1s1 2 s2 ns n isi i