On undecidability of equicontinuity classification for cellular automata

Bruno Durand 1 Enrico Formenti 1 Georges Varouchas 1
1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
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.
Keywords : classification cellular automata undecidability discrete dynamical systems
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

INSMI | TDS-MACS | UNIV-AMU | LIF | LIS-LAB

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

219

Téléchargements de fichiers

245

Contact


archive-ouverte@inria.fr