考虑以下问题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不是决策问题答案： (B)
解释：
此问题是状态输入问题。状态进入问题可以简化为停止问题。我们构造了最终状态为“ q”的图灵机M。我们运行图灵机R(用于状态输入问题)
输入：M，q，w。我们将“ w”作为输入给M。如果M停止在最终状态“ q”，则R接受输入。因此，给定的问题是部分可决定的。
如果M进入无限循环，则M无法输出任何内容。因此，R拒绝输入。因此，给定的问题变得不确定。
因此，选项(B)就是答案。
如果您在以上文章中发现任何错误，请在下面发表评论。这个问题的测验