Sofic Trace of a Cellular Automaton
Dynamical Systems
2007-05-23 v1 Computational Complexity
Discrete Mathematics
Abstract
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.
Cite
@article{arxiv.math/0703241,
title = {Sofic Trace of a Cellular Automaton},
author = {Julien Cervelle and Enrico Formenti and Pierre Guillon},
journal= {arXiv preprint arXiv:math/0703241},
year = {2007}
}
Comments
10 pages + 6 for included proofs