EXTENSIONS IN REVERSIBLE ONE-DIMENSIONAL CELLULAR AUTOMATA ARE EQUIVALENT WITH THE FULL SHIFT

Cellular automata are discrete dynamical systems based on simple local interactions among its components, but sometimes they are able to yield quite a complex global behavior. A special kind of cellular automaton is the one where the global behavior is invertible, this type of cellular automaton is called reversible. In this paper we expose the graph representation provided by de Bruijn diagrams of reversible one-dimensional cellular automata and we define the distinct types of paths between self-loops in such diagrams. With this, we establish the way in which a reversible one-dimensional cellular automaton generates sequences composed by subsequences produced by the undefined repetition of a single state. Using this graph presentation, we define Welch diagrams which will be useful for proving that all the extensions of the ancestors in reversible one-dimensional cellular automata are equivalent to the full shift. In this way an important result of this paper is that we understand and classify the behavior of a reversible automaton analyzing the extensions of the ancestors of a given sequence by means of symbolic dynamics tools. A final example illustrates the results exposed in the paper.