Skip to content
Related Articles

Related Articles

Improve Article
Save Article
Like Article

GATE | GATE CS 1996 | Question 9

  • Last Updated : 10 May, 2020

Which of the following statements is false?

(A) The Halting Problem of Turing machines is undecidable
(B) Determining whether a context-free grammar is ambiguous is undecidable
(C) Given two arbitrary context-free grammars G1 and G2 it is undecidable whether L(G1)=L(G2)
(D) Given two regular grammars G1 and G2 it is undecidable whether L(G1)=L(G2)


Answer: (D)

Explanation: Halting problem of Turing Machine is undecidable because there is no algorithm exists for it.

Attention reader! Don’t stop learning now.  Practice GATE exam well before the actual exam with the subject-wise and overall quizzes available in GATE Test Series Course.

Learn all GATE CS concepts with Free Live Classes on our youtube channel.

Determining a context free language is ambiguous is undecidable because no algorithm exists to decide CFG is ambiguous.
Equivalence problem of CFG is undecidable.
Everything about regular language is decidable.

Option (D) is correct.

Quiz of this Question

My Personal Notes arrow_drop_up
Recommended Articles
Page :

Start Your Coding Journey Now!