Implementing Computations in Automaton (Semi)groups

DOI10.1007/978-3-642-31606-7_21zbMath1297.68145arXiv1310.4856MaRDI QIDQ2914713

Jean Mairesse, Matthieu Picantin, Ines Klimann, Sylvain Lombardy, Ali Akhavi

Publication date: 20 September 2012

Published in: International Journal of Algebra and Computation, Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1310.4856

zbMATH Keywords

growth; finiteness; order; minimization; automata groups; Mealy automata; dual automata; finiteness problem; automata semigroups; automaton (semi)groups; helix graphs

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q70: Algebraic theory of languages and automata

20M35: Semigroups in automata theory, linguistics, etc.

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

20E08: Groups acting on trees