7 research outputs found
Revisiting the Rice Theorem of Cellular Automata
A cellular automaton is a parallel synchronous computing model, which
consists in a juxtaposition of finite automata whose state evolves according to
that of their neighbors. It induces a dynamical system on the set of
configurations, i.e. the infinite sequences of cell states. The limit set of
the cellular automaton is the set of configurations which can be reached
arbitrarily late in the evolution.
In this paper, we prove that all properties of limit sets of cellular
automata with binary-state cells are undecidable, except surjectivity. This is
a refinement of the classical "Rice Theorem" that Kari proved on cellular
automata with arbitrary state sets.Comment: 12 pages conference STACS'1
Ultimate Traces of Cellular Automata
A cellular automaton (CA) is a parallel synchronous computing model, which
consists in a juxtaposition of finite automata (cells) whose state evolves
according to that of their neighbors. Its trace is the set of infinite words
representing the sequence of states taken by some particular cell. In this
paper we study the ultimate trace of CA and partial CA (a CA restricted to a
particular subshift). The ultimate trace is the trace observed after a long
time run of the CA. We give sufficient conditions for a set of infinite words
to be the trace of some CA and prove the undecidability of all properties over
traces that are stable by ultimate coincidence.Comment: 12 pages + 5 of appendix conference STACS'1
Projective subdynamics and universal shifts
International audienceWe study the projective subdynamics of two-dimensional shifts of finite type, which is the set of one-dimensional configurations that appear as columns in them. We prove that a large class of one-dimensional shifts can be obtained as such, namely the effective subshifts which contain positive-entropy sofic subshifts. The proof involves some simple notions of simulation that may be of interest for other constructions. As an example, it allows us to prove the undecidability of all non-trivial properties of projective subdynamics
Projective subdynamics and universal shifts
We study the projective subdynamics of two-dimensional shifts of finite type, which is the set of one-dimensional configurations that appear as columns in them. We prove that a large class of one-dimensional shifts can be obtained as such, namely the effective subshifts which contain positive-entropy sofic subshifts. The proof involves some simple notions of simulation that may be of interest for other constructions. As an example, it allows us to prove the undecidability of all non-trivial properties of projective subdynamics
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
Proceedings of AUTOMATA 2011 : 17th International Workshop on Cellular Automata and Discrete Complex Systems
International audienceThe proceedings contain full (reviewed) papers and short (non reviewed) papers that were presented at the workshop