The structure of reversible one-dimensional cellular automata

Abstract An algorithm is presented for determining reversibility characteristics of 1-dimensional cellular automaton laws. The concept of local reversibility is defined. Each locally reversible automaton is shown to be isomorphic to a member of the class of “center-reversible” automata. Algorithms are described for generating the set of center-reversible laws and the set of center-reversible additive laws.