Number conserving cellular automata: form decidability to dynamics

B. Durand, E. Formenti, Z. Roka

We compare several definitions for number-conserving cellular automata that we prove to be equivalent. A necessary and sufficient condition for \cas to be number-conserving is prov…