File:Automata2.png