GATE | GATE CS 1997 | Question 45

Which one of the following is not decidable?
(A) Given a Turing machine M, a string s and an integer k, M accepts s within k steps
(B) Equivalence of two given Turing machines
(C) Language accepted by a given finite state machine is not empty
(D) Language generated by a context free grammar is non-empty


Answer: (B)

Explanation:

Quiz of this Question
Please comment below if you find anything wrong in the above post



My Personal Notes arrow_drop_up


Article Tags :

Be the First to upvote.


Please write to us at contribute@geeksforgeeks.org to report any issue with the above content.