Email Record: Automata theory and formal languages /