On undecidability of equicontinuity classification for cellular automata
Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03) (2003).

Voir la notice de l'article provenant de la source Episciences

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.
DOI : 10.46298/dmtcs.2302
Classification : 05C05, 60C05, 60J10
@article{DMTCS_2003_special_247_a1,
     author = {Durand, Bruno and Formenti, Enrico and Varouchas, Georges},
     title = {On undecidability of equicontinuity classification for cellular automata},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03)},
     year = {2003},
     doi = {10.46298/dmtcs.2302},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2302/}
}
TY  - JOUR
AU  - Durand, Bruno
AU  - Formenti, Enrico
AU  - Varouchas, Georges
TI  - On undecidability of equicontinuity classification for cellular automata
JO  - Discrete mathematics & theoretical computer science
PY  - 2003
VL  - DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03)
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2302/
DO  - 10.46298/dmtcs.2302
LA  - en
ID  - DMTCS_2003_special_247_a1
ER  - 
%0 Journal Article
%A Durand, Bruno
%A Formenti, Enrico
%A Varouchas, Georges
%T On undecidability of equicontinuity classification for cellular automata
%J Discrete mathematics & theoretical computer science
%D 2003
%V DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03)
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2302/
%R 10.46298/dmtcs.2302
%G en
%F DMTCS_2003_special_247_a1
Durand, Bruno; Formenti, Enrico; Varouchas, Georges. On undecidability of equicontinuity classification for cellular automata. Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03), DMTCS Proceedings vol. AB, Discrete Models for Complex Systems (DMCS'03) (2003). doi : 10.46298/dmtcs.2302. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.2302/

Cité par Sources :