Update automata