Update automaton