semigroups-and-automata-theory