in Theory of Computation reshown by
228 views
0 votes
0 votes

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.

in Theory of Computation reshown by
228 views

2 Comments

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

0
0
Thank you  sir.
0
0

Please log in or register to answer this question.