A characterization of p-automatic sequences as columns of linear cellular automata
classification
🧮 math.DS
cs.FLnlin.CG
keywords
cellularlinearautomaticautomatonmathbbautomatacharacteristiccharacterization
read the original abstract
We show that a sequence over a finite field $\mathbb F_q$ of characteristic $p$ is $p$-automatic if and only if it occurs as a column of the spacetime diagram, with eventually periodic initial conditions, of a linear cellular automaton with memory over $\mathbb F_q$. As a consequence, the subshift generated by a length-$p$ substitution can be realized as a topological factor of a linear cellular automaton.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.