On dynamical complexity of surjective ultimately right-expansive cellular automata
: Joonatan Jalonen, Jarkko Kari
: Jan M. Baetens, Martin Kutrib
: International Workshop on Cellular Automata and Discrete Complex Systems
Publisher: Springer Verlag
: 2018
: Lecture Notes in Computer Science
: Cellular Automata and Discrete Complex Systems
: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
: 10875
: 57
: 71
: 15
: 978-3-319-92674-2
: 978-3-319-92675-9
: 0302-9743
DOI: https://doi.org/10.1007/978-3-319-92675-9_5
: https://research.utu.fi/converis/portal/detail/Publication/35726676
We prove that surjective ultimately right-expansive cellular automata over full shifts are chain-transitive. This immediately implies Boyle’s result that expansive cellular automata are chain-transitive. This means that the chain-recurrence assumption can be dropped from Nasu’s result that surjective ultimately right-expansive cellular automata with right-sided neighborhoods have the pseudo-orbit tracing property, which also implies that the (canonical) trace subshift is sofic. We also provide a theorem with a simple proof that comprises many known results including aforementioned result by Nasu. Lastly we show that there exists a right-expansive reversible cellular automaton that has a non-sofic trace and thus does not have the pseudo-orbit tracing property. In this paper we only consider cellular automata over full shifts, while both Nasu and Boyle obtain their results over more general shift spaces.