Not just the Garden of Eden: Additional takes on cellular automata surjectivity
Silvio Capobianco · Theoretical Computer Science · 2025
The Garden of Eden theorem has the dual role of linking surjectivity of cellular automata to pre-injectivity and balance, and to characterize the class of amenable groups. We give an overview of several properties which, for cellular automata , are linked to surjectivity, and the role of several group properties in establishing such links.