Classification of two-dimensional binary cellular automata with respect to surjectivity

Henryk Fukś, Andrew Skelton

While the surjectivity of the global map in two-dimensional cellular automata (2D CA) is undecidable in general, in specific cases one can often decide if the rule is surjective or…