Title: Algebraic Automata Theory