4 citations · 8 across the 12 of their papers we have counts for
1 paper · 1 filter
Dominik Francoeur, Ivan Mitrofanov
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.