automata.png