📜  门|门 CS 1997 |第 46 题

📅  最后修改于: 2021-09-24 05:55:15             🧑  作者: Mango

以下哪一项是不可判定的?
(A)给定图灵机 M、字符串s 和整数 k,M 在 k 步内接受 s
(B)两个给定图灵机的等价性
(C)给定的有限状态机接受的语言不为空
(D)由上下文无关文法生成的语言是非空的答案:(乙)
解释:
这个问题的测验
如果您发现上面的帖子有任何错误,请在下面评论