On undecidability of equicontinuity classification for cellular automata

Abstract : Equicontinuity classification is a popular classification of cellular automata based on their dynamical behavior. In this paper we prove that most of its classes are undecidable.
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.117-128
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01183309
Contributeur : Coordination Episciences Iam <>
Soumis le : mercredi 12 août 2015 - 10:06:23
Dernière modification le : vendredi 9 mars 2018 - 11:26:00
Document(s) archivé(s) le : vendredi 13 novembre 2015 - 11:34:37

Fichier

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

Identifiants

  • HAL Id : hal-01183309, version 1

Collections

Citation

Bruno Durand, Enrico Formenti, Georges Varouchas. On undecidability of equicontinuity classification for cellular automata. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2003, DMTCS Proceedings, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), pp.117-128. 〈hal-01183309〉

Partager

Métriques

Consultations de la notice

213

Téléchargements de fichiers

200