On the existence of free subsemigroups in reversible automata semigroups
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.
Origin : Files produced by the author(s)