update automaton