1 Search Results for "Di Lena, Pietro"


Document
Undecidable Properties of Limit Set Dynamics of Cellular Automata

Authors: Pietro Di Lena and Luciano Margara

Published in: LIPIcs, Volume 3, 26th International Symposium on Theoretical Aspects of Computer Science (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.

Cite as

Pietro Di Lena and Luciano Margara. Undecidable Properties of Limit Set Dynamics of Cellular Automata. In 26th International Symposium on Theoretical Aspects of Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), Volume 3, pp. 337-348, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dilena_et_al:LIPIcs.STACS.2009.1819,
  author =	{Di Lena, Pietro and Margara, Luciano},
  title =	{{Undecidable Properties of Limit Set Dynamics of Cellular Automata}},
  booktitle =	{26th International Symposium on Theoretical Aspects of Computer Science},
  pages =	{337--348},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-09-5},
  ISSN =	{1868-8969},
  year =	{2009},
  volume =	{3},
  editor =	{Albers, Susanne and Marion, Jean-Yves},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2009.1819},
  URN =		{urn:nbn:de:0030-drops-18194},
  doi =		{10.4230/LIPIcs.STACS.2009.1819},
  annote =	{Keywords: Cellular automata, Undecidability, Symbolic dynamics}
}
  • Refine by Author
  • 1 Di Lena, Pietro
  • 1 Margara, Luciano

  • Refine by Classification

  • Refine by Keyword
  • 1 Cellular automata
  • 1 Symbolic dynamics
  • 1 Undecidability

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2009

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail