1.

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»


Discussion

No Comment Found

Related InterviewSolutions