Update Automaton