Undecidable Properties of Limit Set Dynamics of Cellular Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Undecidable Properties of Limit Set Dynamics of Cellular Automata

Résumé

Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. The limit set of a cellular automaton is its maximal topological attractor. A well know result, due to Kari, says that all nontrivial properties of limit sets are undecidable. In this paper we consider properties of limit set dynamics, i.e. properties of the dynamics of Cellular Automata restricted to their limit sets. There can be no equivalent of Kari's Theorem for limit set dynamics. Anyway we show that there is a large class of undecidable properties of limit set dynamics, namely all properties of limit set dynamics which imply stability or the existence of a unique subshift attractor. As a consequence we have that it is undecidable whether the cellular automaton map restricted to the limit set is the identity, closing, injective, expansive, positively expansive, transitive.
Fichier principal
Vignette du fichier
dilena_new.pdf (205.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00359623 , version 1 (09-02-2009)

Identifiants

  • HAL Id : inria-00359623 , version 1
  • ARXIV : 0902.1441

Citer

Pietro Di Lena, Luciano Margara. Undecidable Properties of Limit Set Dynamics of Cellular Automata. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.337-348. ⟨inria-00359623⟩

Collections

STACS2009 TDS-MACS
211 Consultations
71 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More