Abstract
We consider the growth, order, and finiteness problems for automaton (semi)groups. We propose new implementations and compare them with the existing ones. As a result of extensive experimentations, we propose some conjectures on the order of finite automaton (semi)groups.
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
Aho, A., Hopcroft, J., Ullman, J.: The Design and Analysis of Computer Algorithms. Addison-Wesley (1974)
Akhavi, A., Klimann, I., Lombardy, S., Mairesse, J., Picantin, M.: On the finiteness problem for automaton (semi)groups. Internat. J. Algebra Comput. (accepted, 2012), arXiv:cs.FL/1105.4725
Antonenko, A.S.: On transition functions of Mealy automata of finite growth. Matematychni Studii 29(1), 3–17 (2008)
Bartholdi, L.: FR Functionally recursive groups — a GAP package, v.1.2.4.2 (2011), http://www.uni-math.gwdg.de/laurent/FR/
Bartholdi, L., Reznykov, I.I., Sushchanskiĭ, V.I.: The smallest Mealy automaton of intermediate growth. J. Algebra 295(2), 387–414 (2006)
Bondarenko, I.V., Bondarenko, N.V., Sidki, S.N., Zapata, F.R.: On the conjugacy problem for finite-state automorphisms of regular rooted trees, ArXiv:math.GR/1011.2227
Cain, A.J.: Automaton semigroups. Theor. Comput. Sci. 410, 5022–5038 (2009)
The GAP Group: GAP – Groups, Algorithms, and Programming, v.4.4.12 (2008), http://www.gap-system.org
Grigorchuk, R.I.: On Burnside’s problem on periodic groups. Funktsional. Anal. i Prilozhen. 14(1), 53–54 (1980)
Grigorchuk, R.I., Nekrashevich, V.V., Sushchanskiĭ, V.I.: Automata, dynamical systems, and groups. Tr. Mat. Inst. Steklova 231, 134–214 (2000)
Muntyan, Y., Savchuk, D.: automgrp Automata Groups — a GAP package, v.1.1.4.1 (2008), http://finautom.sourceforge.net/
Nekrashevych, V.: Self-similar groups. Mathematical Surveys and Monographs, vol. 117. American Mathematical Society, Providence (2005)
Savchuk, D.M., Vorobets, Y.: Automata generating free products of groups of order 2. J. Algebra 336(1), 53–66 (2011)
Sidki, S.N.: Automorphisms of one-rooted trees: growth, circuit structure, and acyclicity. J. Math. Sci. (New York) 100(1), 1925–1943 (2000), algebra, 12
Silva, P.V., Steinberg, B.: On a class of automata groups generalizing lamplighter groups. Internat. J. Algebra Comput. 15(5-6), 1213–1234 (2005)
Šuniḱ, Z., Ventura, E.: The conjugacy problem is not solvable in automaton groups (2010), arXiv:math.GR/1010.1993
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Klimann, I., Mairesse, J., Picantin, M. (2012). Implementing Computations in Automaton (Semi)groups. In: Moreira, N., Reis, R. (eds) Implementation and Application of Automata. CIAA 2012. Lecture Notes in Computer Science, vol 7381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31606-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-31606-7_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31605-0
Online ISBN: 978-3-642-31606-7
eBook Packages: Computer ScienceComputer Science (R0)