Automata progress