add deterministic pushdown automata