Attractors of D-dimensional Linear Cellular Automata

摘要

In this paper we study the asymptoic behavior of D-dimensional linear cellular automata over the ring Z sub m . IN the first part of the paper we consider non-surjective cellular automata. We prove that, after a transient phase of length at most [log sub 2 m], the evolution of a linear non-surjective cellular automata F takes place completely within a subspace Y sub F. This result suggests that we can get valuable information on the long term behavior of F by studying its properties when restricted to Y sub F. We prove that such study is possible by showing that the system(Y sub F,F) is topologicaly conjugated to a linear cellular automata F sup * defined over a different ring Z sub m. In the second part of the paper, we study the attractor sets of linear cellular automata. Recently, Kurka[8] has shown that CA can be partitioned into five disjoint classes according to the structure of their attactors. We present a procedure for decidign the membership in Kurka's classes for any linear cellular automata. Our procedure require oly gcd computations involving the coefficients of the local rule associated to the cellular automata.