Unacademy Test

Question

Consider the following language:

L = {<M>|M halts after 200 steps for all inputs}

Which of the following is True about L?

A.L is decidable

B.L is undecidable

C.Cannot be predicted

D.None of the above

Answer 1

Option c.

The type of M is not provided, if it was a FA/PDA then it would have been decidable but if it was a TM then it would be undecidable. So as M is not provided we can’t predict the behavior.

Comments

means answer should be UNDECIDABLE

---

@Rajender gill the type of M is not given so we can’t predict if its decidable or undecidable. If M is a TM then it will be undecidable but if it is a FA/PDA then it will be decidable. 

---

Thank you.