标签: turing-machines decidable
Acoordind到段落所示,决策者D如何使用H作为子程序以及它如何表现相反?
如果有人澄清这个会非常有用吗?
答案 0 :(得分:1)
如果输入结果处于接受状态,则表示图灵机接受输入。它拒绝,如果它以任何其他状态结束。
因此,如果我们有一台机器vector接受输入H,我们就可以通过添加新的起点来增强它,将其作为输入<M, <M>>,构建<M>然后将其提供给<M, <M>>的其余部分。此新计算机H将与H*相同,但输入不同。如果我们现在切换接受和拒绝状态,我们将拥有机器,该输入作为输入H并返回与<M>相反的结果,其中硬币通常为H。
vector
H
<M, <M>>
<M>
H*