Skip to Main content Skip to Navigation
New interface
Journal articles

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 : discrete dynamical systems undecidability cellular automata classification
Document type :
Journal articles
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
https://hal.inria.fr/hal-01183309
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
Submitted on : Wednesday, August 12, 2015 - 10:06:23 AM
Last modification on : Sunday, June 26, 2022 - 12:20:03 AM
Long-term archiving on: : Friday, November 13, 2015 - 11:34:37 AM

File

Vignette du document
dmAB0110.pdf
Publisher files allowed on an open archive

Identifiers

Collections

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

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

112

Files downloads

737

 

Contact                    Legal Notice                    Personal Data