Skip to content
Related Articles

Related Articles

Improve Article

GATE | Sudo GATE 2020 Mock I (27 December 2019) | Question 57

  • Last Updated : 26 Dec, 2019

Which of the following problems is decidable?

  • I. Given a TM M and a string y, does M ever write the symbol # on its tape on input y?
  • II. Given a context free grammar G over {a, b}, does G generate all the strings of the language {a, b}*of length ≤ 381?
  • III. Given a TM M, are there infinitely many TMs M′accepting the same recursive enumerable set A = L(M)?
  • IV. Given a TM M and a string y, does M accept y?

(A) I and II
(B) II and III
(C) I, II and III
(D) II and IV

Answer: (B)


  • I. Undecidable, since the halting problem is reducible to it. Indeed, given M (without # among the tape alphabet) build M′ as follows: M′simulate M but each time M wants to halt M′first prints # and then halts. It is clear,that M on y if and only if M’ writes ]on input y. Therefore, if we could decide (a) we would be able to decide the halting problem.
  • II. Decidable: each individual problem x ∈ L(G ) is decidable, and we have to check whether each string of length ≤ 381 (a given finite = set of them) is in L(G).
  • III. Decidable. This is a trivial property, since for each TM M there are infinitely many TMs M′ accepting the same r.e. set A = L(M).
  • IV. Undecidable. Otherwise we could be able to decide the problem ‘do es M accepts ε ?’. The latter is undecidable by the Rice Theorem, since it corresponds to a non trivial property of r.e. sets ε ∈ L(M).

So, option (B) is correct.

Quiz of this Question

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.

My Personal Notes arrow_drop_up
Recommended Articles
Page :