Abstract
AbstractWe show that a cellular automaton on a one-dimensional two-sided mixing subshift of finite type is a von Neumann regular element in the semigroup of cellular automata if and only if it is split epic onto its image in the category of sofic shifts and block maps. It follows from previous joint work of the author and Törmä that von Neumann regularity is a decidable condition, and we decide it for all elementary CA, obtaining the optimal radii for weak generalized inverses. Two sufficient conditions for non-regularity are having a proper sofic image or having a point in the image with no preimage of the same period. We show that the non-regular ECA 9 and 28 cannot be proven non-regular using these methods. We also show that a random cellular automaton is non-regular with high probability.
Funder
Luonnontieteiden ja Tekniikan Tutkimuksen Toimikunta
University of Turku (UTU) including Turku University Central Hospital
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications
Reference15 articles.
1. Boyle M (1983) Lower entropy factors of sofic systems. Ergodic Theory Dynam Systems 3(4):541–557. https://doi.org/10.1017/S0143385700002133
2. Castillo-Ramirez A, Gadouleau M (2020) Elementary, finite and linear vN-regular cellular automata. Inform and Comput 274(104533):12. https://doi.org/10.1016/j.ic.2020.104533
3. Ceccherini-Silberstein T, Coornaert M (2010) Cellular automata and groups. Springer monographs in mathematics. Springer-Verlag, Berlin Heidelberg
4. Gottschalk W. Some general dynamical notions. In: Recent advances in topological dynamics (Proc. Conf. Topological Dynamics, Yale Univ., New Haven, Conn., 1972; in honor of Gustav Arnold Hedlund); 1973. p. 120–125. Lecture Notes in Math., Vol. 318
5. Hopcroft JE, Motwani R, Ullman JD (2006) Introduction to automata theory, languages, and computation, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA