Email Record: Formal languages and automata theory /