Current browse context:
cs.FL
Change to browse by:
References & Citations
Computer Science > Formal Languages and Automata Theory
Title: On level-transitivity and exponential growth
(Submitted on 31 May 2016 (v1), last revised 17 Aug 2016 (this version, v2))
Abstract: We prove that if the group generated by a Mealy automaton acts level-transitively on a regular rooted tree, then the semigroup generated by the dual automaton has exponential growth, hence giving a decision procedure of exponential growth for a restricted family of automaton semigroups.
Submission history
From: Ines Klimann [view email][v1] Tue, 31 May 2016 11:07:04 GMT (8kb)
[v2] Wed, 17 Aug 2016 06:05:35 GMT (8kb)
Link back to: arXiv, form interface, contact.