Title: algebraic theory of automata