Q.

Which one of the following is not decidable?

A. given a Turing machine M, a string s, and an integer k, M accepts s with k steps
B. equivalence of two given Turing machines
C. language accepted by a given DFSA is nonempty
D. language generated by a CFG is nonempty
Answer» B. equivalence of two given Turing machines
2.5k
0
Do you find this helpful?
4

View all MCQs in

Theory of Computation

Discussion

No comments yet

Related MCQs