Title: Algebraic theory of automata