Algebraic aspects of automata theory.