The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable

Margenstern Maurice

In this paper, we look at the following question. We consider cellular automata in the hyperbolic plane and we consider the global function defined on all possible configurations.…