1.

Which of the following statement is false?(a) For non deterministic PDA, equivalence is undecidable(b) For deterministic PDA, equivalence is decidable(c) For deterministic PDA, equivalence is undecidable.(d) None of the mentionedThe question was posed to me in an online interview.This intriguing question comes from From PDA to Grammars in section Push Down Automata of Automata Theory

Answer»

Right answer is (c) For deterministic PDA, EQUIVALENCE is undecidable.

Easiest explanation: Geraud PROVED the equivalence problem DECIDABLE for Deterministic PDA .



Discussion

No Comment Found

Related InterviewSolutions