Non-uniform cellular automata: classes, dynamics, and decidability (Q714501)

The authors of this paper introduce so-called non-uniform cellular automata (CAs), which are defined as CAs in which every cell can have its own transition function. Though such CAs were formalized before by the reviewer and \textit{B. De Baets} [``Phenomenological study of irregular cellular automata based on Lyapunov exponents and Jacobians'', Chaos, 20, Article-ID 033112 (2010)], proofs with regard to the stability of such CAs are given in this paper, whereas the former authors merely provide formalism for this type of CA. Anyhow, it might be interesting to corroborate the theoretical results with regard to the stability of such CAs that are presented in this paper by means of the non-directional Lyapunov exponents of CAs as proposed by \textit{F. Bagnoli, R. Rechtman} and \textit{S. Ruffo}, [``Damage spreading and Lyapunov exponents in cellular automata'', Phys. Lett. A 172, 34--38 (1992)] and Baetens and De Baets [loc. cit.].