Email Record: Introduction to automata /