Towards a Rice Theorem on Traces of Cellular Automata

DOI10.1007/978-3-540-74456-6_29zbMath1147.68581OpenAlexW1647677465MaRDI QIDQ3525579

Julien Cervelle, Pierre Guillon

Publication date: 17 September 2008

Published in: Mathematical Foundations of Computer Science 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74456-6_29

zbMATH Keywords

cellular automatadiscrete-time dynamical systemssymbolic dynamicsdecidabilityformal languagescomputability

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Cellular automata (computational aspects) (68Q80)

Related Items (4)

Sand automata as cellular automata ⋮ Topological dynamics of nondeterministic cellular automata ⋮ Nondeterministic cellular automata ⋮ Nilpotency and Limit Sets of Cellular Automata

This page was built for publication: Towards a Rice Theorem on Traces of Cellular Automata