Automata running