Towards a Rice Theorem on Traces of Cellular Automata
Abstract
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.
Origin : Files produced by the author(s)
Loading...