Procedures for calculating reversible one-dimensional cellular automata

We describe two algorithms for calculating reversible one-dimensional cellular automata of neighborhood size 2. We explain how this kind of automaton represents all the other cases. Using two basic properties of reversible automata such as uniform multiplicity of ancestors and Welch indices, these algorithms only require matrix products and transitive closures of binary relations to classify all the possible reversible automata of neighborhood size 2. We expose the features, advantages and differences with other well-known methods. Finally, we present results for reversible automata from three to six states and neighborhood size 2.