Decidable properties of 2D cellular automata

Abstract : In this paper we study some decidable properties of twodimensional cellular automata (2D CA). The notion of closingness is generalized to the 2D case and it is linked to permutivity and openness. The major contributions of this work are two deep constructions which have been fundamental in order to prove our new results and we strongly believe it will be a valuable tool for proving other new ones in the near future.
Type de document :
Communication dans un congrès
M. Ito and M. Toyma. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. Springer-Verlag, 5257, pp.264-275, 2008, Lectures Notes in Computer Science
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00310411
Contributeur : Enrico Formenti <>
Soumis le : vendredi 8 août 2008 - 16:15:02
Dernière modification le : lundi 21 mars 2016 - 17:50:17

Identifiants

  • HAL Id : hal-00310411, version 1

Collections

Citation

Enrico Formenti, Alberto Dennunzio. Decidable properties of 2D cellular automata. M. Ito and M. Toyma. DEVELOPMENTS IN LANGUAGE THEORY (DLT 2008), Sep 2008, Kioto, Japan. Springer-Verlag, 5257, pp.264-275, 2008, Lectures Notes in Computer Science. <hal-00310411>

Partager

Métriques

Consultations de la notice

112