Automata updates