DPDA does not closed under equivalence property
i do understand by minimizing the DFA we can say whether they are equal or not
But it is not the case with DPDA so plz someone explain it to me how can (ii) is correct.
It is not so easy to prove as in the case of DFA. In fact it is so difficult that this problem was solved only very recently and fetched the Godel prize in 2002.
https://en.wikipedia.org/wiki/Deterministic_pushdown_automaton
64.3k questions
77.9k answers
244k comments
80.0k users