Equivalence of deterministic pushdown automata revisited