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.

Undecidable properties of limit set dynamics of cellular automata / P. Di Lena; L. Margara. - STAMPA. - (2009), pp. 337-348. (Intervento presentato al convegno 26th International Symposium on Theoretical Aspec- ts of Computer Science (STACS 2009) tenutosi a Freiburg, Germany nel February 26-28 2009).

Undecidable properties of limit set dynamics of cellular automata

DI LENA, PIETRO;MARGARA, LUCIANO
2009

Abstract

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.
2009
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science
337
348
Undecidable properties of limit set dynamics of cellular automata / P. Di Lena; L. Margara. - STAMPA. - (2009), pp. 337-348. (Intervento presentato al convegno 26th International Symposium on Theoretical Aspec- ts of Computer Science (STACS 2009) tenutosi a Freiburg, Germany nel February 26-28 2009).
P. Di Lena; L. Margara
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/80089
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact