print automata