为什么决策者D在使用决策者H作为子程序时表现相反?

时间:2016-10-04 18:08:55

标签: turing-machines decidable

enter image description here

Acoordind到段落所示,决策者D如何使用H作为子程序以及它如何表现相反?

如果有人澄清这个会非常有用吗?

1 个答案:

答案 0 :(得分:1)

如果输入结果处于接受状态,则表示图灵机接受输入。它拒绝,如果它以任何其他状态结束。

因此,如果我们有一台机器vector接受输入H,我们就可以通过添加新的起点来增强它,将其作为输入<M, <M>>,构建<M>然后将其提供给<M, <M>>的其余部分。此新计算机H将与H*相同,但输入不同。如果我们现在切换接受和拒绝状态,我们将拥有机器,该输入作为输入H并返回与<M>相反的结果,其中硬币通常为H

相关问题