On the surjunctivity and the Garden of Eden theorem for non-uniform cellular automata




Paturi, Katariina; Kari, Jarkko

PublisherSpringer Science and Business Media LLC

2026

 Natural Computing

9

25

1

1567-7818

1572-9796

DOIhttps://doi.org/10.1007/s11047-026-10067-8

https://doi.org/10.1007/s11047-026-10067-8

https://research.utu.fi/converis/portal/detail/Publication/515869756



Non-uniform cellular automata (NUCA) are an extension of cellular automata with multiple local rules in different cells. We show that if the distribution of local rules is uniformly recurrent, or recurrent in the one-dimensional case, the Garden of Eden theorem holds. We also show that for any one-dimensional non-recurrent distribution, there is a substitution of local rules that defines a NUCA which does not satisfy the Garden of Eden theorem. Finally, we show that a one-dimensional rule distribution asymptotic to recurrent distribution defines a surjunctive NUCA.


Open Access funding provided by University of Turku (including Turku University Central Hospital


Last updated on 20/03/2026 08:00:16 AM