Number conserving cellular automata: new results on decidability and dynamics

Bruno Durand (1) , Enrico Formenti (1) , Aristide Grange (2) , Zsuzsanna Róka (2)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
2 LITA - Laboratoire d'Informatique Théorique et Appliquée

This paper is a survey on our recent results about number conserving cellular automata. First, we prove the linear time decidability of the property of number conservation. The sequel focuses on dynamical evolutions of number conserving cellular automata.

Mots clés: cellular automata; decidability; discrete dynamical systems; classification

Domaines: Mathématique discrète [cs.DM]; Combinatoire [math.CO]; Automates cellulaires et gaz sur réseau [nlin.CG]

Bruno Durand, Enrico Formenti, Aristide Grange, Zsuzsanna Róka. Number conserving cellular automata: new results on decidability and dynamics. Discrete Mathematics and Theoretical Computer Science, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.129-140. ⟨10.46298/dmtcs.2301⟩. ⟨hal-01183308⟩