On the existence of free subsemigroups in reversible automata semigroups
arXiv:1811.04679
Abstract
We prove that the semigroup generated by a reversible Mealy automaton contains a free subsemigroup of rank two if and only if it contains an element of infinite order.
23 pages, 3 figures