McqMate
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 |
View all MCQs in
Theory of ComputationNo comments yet