File:Automata.jpg