The Garden of Eden Theorem for Cellular Automata on Group Sets
Group Theory
2016-09-06 v2 Formal Languages and Automata Theory
Abstract
We prove the Garden of Eden theorem for cellular automata with finite set of states and finite neighbourhood on right amenable left homogeneous spaces with finite stabilisers. It states that the global transition function of such an automaton is surjective if and only if it is pre-injective. Pre-Injectivity means that two global configurations that differ at most on a finite subset and have the same image under the global transition function must be identical.
Keywords
Cite
@article{arxiv.1603.07272,
title = {The Garden of Eden Theorem for Cellular Automata on Group Sets},
author = {Simon Wacker},
journal= {arXiv preprint arXiv:1603.07272},
year = {2016}
}
Comments
arXiv admin note: text overlap with arXiv:1603.06460