The dynamics of expansive invertible onesided cellular automata
Masakazu Nasu · Transactions of the American Mathematical Society · 2002
Using textile systems, we prove the conjecture of Boyle and Maass that the dynamical system defined by an expansive invertible onesided cellular automaton is topologically conjugate to a topological Markov shift. We also study expansive leftmost-permutive onesided cellular automata and bipermutive endomorphisms of mixing topological Markov shifts.