Email Record: An introduction to the theory of formal languages and automata /