1.

Which of the following are correct statements?(a) TMs that always halt are known as Decidable problems(b) TMs that are guaranteed to halt only on acceptance are recursive ennumerable.(c) Both (a) and (b)(d) None of the mentionedThe question was asked by my school teacher while I was bunking the class.Query is from The Diagonalization Languages topic in section Undecidability of Automata Theory

Answer»

Correct choice is (C) Both (a) and (B)

The explanation is: There are two types of TMs on the basis of halting: Recursive and RECURSIVELY Ennumerable(TM MAY or may not halt,could loop forever).



Discussion

No Comment Found

Related InterviewSolutions