Automaton update