Sofic Trace of a Cellular Automaton

Julien Cervelle (1) , Enrico Formenti (2) , Pierre Guillon (1)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge
2 I3S - Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis

The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram, ie the infinite sequence of states of a particular cell of a configuration; in the language of symbolic dynamics one says that it is a factor system. In this paper we study conditions for a sofic subshift to be the trace of a cellular automaton.

Mots clés: discrete-time dynamical systems; cellular automata; symbolic dynamics; sofic systems; formal languages

Domaines: Systèmes dynamiques [math.DS]; Mathématique discrète [cs.DM]; Complexité [cs.CC]

Julien Cervelle, Enrico Formenti, Pierre Guillon. Sofic Trace of a Cellular Automaton. CiE 2007, Jun 2007, Siena, Italy. pp.152-161. ⟨hal-00135811⟩