automata picture