Analytic Proof of the Attractors of a Class of Cellular Automaton

In this work we provide analytic results of infinite one-dimensional cellular automaton(CA). By realizing symbolic products, we investigate a subclass of infinite CA and prove analytically that within this subclass the only allowed attractors are homogenous, steady and periodic states for arbitrary initial configuration. Our method also provide exact enumeration of these attractors and it is shown explicitly in a particular model.