On undecidability of equicontinuity classification for cellular automata - Archive ouverte HAL
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2003

On undecidability of equicontinuity classification for cellular automata

Résumé

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.

Domaines

Mathématique discrète [cs.DM] Combinatoire [math.CO] Automates cellulaires et gaz sur réseau [nlin.CG] Interface homme-machine [cs.HC]
Fichier principal
Vignette du fichier
dmAB0110.pdf (112 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Coordination Episciences Iam  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01183309

Soumis le : mercredi 12 août 2015-10:06:23

Dernière modification le : mercredi 17 avril 2024-12:01:12

Archivage à long terme le : vendredi 13 novembre 2015-11:34:37

Télécharger pour visualiser

Dates et versions

hal-01183309 , version 1 (12-08-2015)

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LIF CNRS UNIV-AMU TDS-MACS LIS-LAB
136 Consultations
1030 Téléchargements

Altmetric

Partager

More