Textmeddelande: Algebraic theory of automata.