update pushdown automaton