Towards a Rice Theorem on Traces of Cellular Automata

The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. We prove the undecidability of a rather large class of problems over trace subshifts of cellular automata.

• Type: Conference
• Year: 2007
• Where: MFCS
• Authors: Julien Cervelle, Pierre Guillon
• Keywords: Cellular Automaton, MFCS 2007, Space-time Diagram, Trace Subshifts