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.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-02409426 Contributor : Dominik FrancoeurConnect in order to contact the contributor Submitted on : Friday, December 13, 2019 - 2:21:25 PM Last modification on : Tuesday, December 17, 2019 - 2:27:20 AM