Abstract
The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. In this paper we study conditions for a sofic subshift to be the trace of a cellular automaton.
This work has been supported by the Interlink/MIUR project “Cellular Automata: Topological Properties, Chaos and Associated Formal Languages”, by the ANR Blanc “Projet Sycomore”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gilman, R.H.: Classes of linear automata. Erg. Th. & Dyn. Sys. 7, 105–118 (1988)
Hurley, M.: Attractors in cellular automata. Erg. Th. & Dyn. Sys. 10, 131–140 (1990)
Dubacq, J.C., Durand, B., Formenti, E.: Kolmogorov complexity and cellular automata classification. Th. Comp. Sci. 259(1–2), 271–285 (2001)
Durand, B., Formenti, E., Varouchas, G.: On undecidability of equicontinuity classification for cellular automata. In: Morvan, M., Rémila, E., (eds.) DMCS’03. Volume AB of DMTCS Proc. Disc. Math. and Th. Comp. Sci. pp. 117–128 (2003)
Culik, K., Yu, S.: Undecidability of cellular automata classification schemes. Comp. Sys. 2, 177–190 (1988)
Braga, G., Cattaneo, G., Flocchini, P., Vogliotti, C.Q.: Pattern growth in elementary cellular automata. Th. Comp. Sci. 145(1–2), 1–26 (1995)
Kůrka, P.: Languages, equicontinuity and attractors in cellular automata. Erg. Th. & Dyn. Sys. 17, 417–433 (1997)
Formenti, E., Cervelle, J., Guillon, P.: Sofic trace of a cellular automaton. Technical report, Institut Gaspard Monge (march 2007), http://hal.archives-ouvertes.fr/hal-00135811
Hedlund, G.A.: Endomorphism and automorphism of the shift dynamical system. Math. Sys. Theory 3, 320–375 (1969)
Marcus, B., Lind, D.: An introduction to symbolic dynamics and coding. Cambridge University Press, Cambridge (1995)
Weiss, B.: Subshifts of finite type and sofic systems. Monatshefte für Mathematik 77(5), 462–474 (1973)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cervelle, J., Formenti, E., Guillon, P. (2007). Sofic Trace Subshift of a Cellular Automaton . In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)