On the existence of free subsemigroups in reversible automata semigroups

From MaRDI portal
Publication:2076067





Summary: 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.











This page was built for publication: On the existence of free subsemigroups in reversible automata semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2076067)