Undecidable Properties of Limit Set Dynamics of Cellular Automata

Pietro Di Lena, Luciano Margara

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 w…