Abstract
The decidability of the finiteness problem for automaton groups is a well-studied open question on Mealy automata. We connect this question of algebraic nature to the periodicity problem of one-way cellular automata, a dynamical question known to be undecidable in the general case. We provide a first undecidability result on the dynamics of one-way permutive cellular automata, arguing in favor of the undecidability of the finiteness problem for reset Mealy automata.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Akhavi, A., Klimann, I., Lombardy, S., Mairesse, J., Picantin, M.: On the finiteness problem for automaton (semi) groups. Int. J. Algebra Comput. 22(06), 1250052 (2012)
Amoroso, S., Patt, Y.N.: Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures. J. Comput. Syst. Sci. 6(5), 448–464 (1972)
Bartholdi, L., Silva, P.V.: Groups defined by automata. In: AutoMathA Handbook (to appear). https://arxiv.org/abs/1012.1531
Boyle, M., Maass, A., et al.: Expansive invertible onesided cellular automata. J. Math. Soc. Jpn. 52(4), 725–740 (2000)
Bruyere, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and p-recognizable sets of integers. Bull. Belg. Math. Soc. Simon Stevin 1(2), 191–238 (1994)
Coven, E., Pivato, M., Yassawi, R.: Prevalence of odometers in cellular automata. Proc. Am. Math. Soc. 135(3), 815–821 (2007)
Dartnell, P., Maass, A., Schwartz, F.: Combinatorial constructions associated to the dynamics of onesided cellular automata. Theoret. Comput. Sci. 304(1–3), 485–497 (2003)
Delorme, M., Mazoyer, J., Ollinger, N., Theyssier, G.: Bulking II: classifications of cellular automata. Theoret. Comput. Sci. 412(30), 3881–3905 (2011)
Gillibert, P.: The finiteness problem for automaton semigroups is undecidable. Int. J. Algebra Comput. 24(01), 1–9 (2014)
Glushkov, V.M.: The abstract theory of automata. Uspekhi Matematicheskikh Nauk 16(5), 3–62 (1961)
Hedlund, G.A.: Endomorphisms and automorphisms of the shift dynamical systems. Math. Syst. Theory 3(4), 320–375 (1969)
Kari, J., Ollinger, N.: Periodicity and immortality in reversible computing. In: Ochmański, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol. 5162, pp. 419–430. Springer, Heidelberg (2008). doi:10.1007/978-3-540-85238-4_34
Kari, J.: The nilpotency problem of one-dimensional cellular automata. SIAM J. Comput. 21(3), 571–586 (1992)
Kari, J.: Theory of cellular automata: a survey. Theoret. Comput. Sci. 334(1), 3–33 (2005)
Klimann, I.: Automaton semigroups: the two-state case. Theory Comput. Syst. 58(4), 664–680 (2016)
Šunić, Z., Ventura, E.: The conjugacy problem in automaton groups is not solvable. J. Algebra 364, 148–154 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Delacourt, M., Ollinger, N. (2017). Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups. In: Kari, J., Manea, F., Petre, I. (eds) Unveiling Dynamics and Complexity. CiE 2017. Lecture Notes in Computer Science(), vol 10307. Springer, Cham. https://doi.org/10.1007/978-3-319-58741-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-58741-7_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58740-0
Online ISBN: 978-3-319-58741-7
eBook Packages: Computer ScienceComputer Science (R0)