Number conserving cellular automata: new results on decidability and dynamics

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.
Type de document :
Article dans une revue
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.129-140
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01183308
Contributeur : Coordination Episciences Iam <>
Soumis le : mercredi 12 août 2015 - 10:08:59
Dernière modification le : vendredi 9 mars 2018 - 11:25:59
Document(s) archivé(s) le : vendredi 13 novembre 2015 - 11:34:36

Fichier

dmAB0111.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01183308, version 1

Citation

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, DMTCS, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.129-140. 〈hal-01183308〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

140