aDipartimento di Ingegneria, Università del Sannio, C.so Garibaldi 107, 82100 Benevento, Italy;bInstitut de Recherche Mathématique Avancée, Université Louis Pasteur et CNRS, 7 rue René-Descartes, 67084 Strasbourg Cedex, France
Abstract:
Let A be a set and let G be a group, and equip AG with its prodiscrete uniform structure. Let τ:AG→AG be a map. We prove that τ is a cellular automaton if and only if τ is uniformly continuous and G-equivariant. We also give an example showing that a continuous and G-equivariant map τ:AG→AG may fail to be a cellular automaton when the alphabet set A is infinite.