DMTCS Proceedings, Discrete Models for Complex Systems, DMCS'03

Font Size:  Small  Medium  Large

Number conserving cellular automata: new results on decidability and dynamics

Bruno Durand, Enrico Formenti, Aristide Grange, Zsuzsanna Róka

Abstract


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.

Full Text: GZIP Compressed PostScript PostScript PDF original HTML abstract page

Valid XHTML 1.0 Transitional