File:Automata.png