semigroups and automata theory | ResearchHub