考虑以下问题 X。
Given a Turing machine M over the input alphabet Σ, any
state q of M And a word w∈Σ*, does the computation of M
on w visit the state q? 下列关于 X 的说法正确的是?
(A) X 是可判定的
(B) X 不可判定但部分可判定
(C) X 是不可判定的，甚至不能部分判定
(D) X 不是决策问题答案：(乙)
解释：
这个问题是一个状态输入问题。状态进入问题可以简化为停机问题。我们构建了一个最终状态为“q”的图灵机 M。我们运行图灵机 R(用于状态输入问题)
输入： M, q, w 。我们将“w”作为 M 的输入。如果 M 在最终状态 ‘q’ 中停止，则 R 接受输入。因此，给定的问题是部分可判定的。
如果 M 进入无限循环，则 M 不能输出任何内容。因此，R 拒绝输入。因此，给定的问题变得不可判定。
因此，选项(B)是答案。
如果您发现上面的帖子有任何错误，请在下面发表评论。这个问题的测验