150
个编辑
更改
跳到导航
跳到搜索
第592行：
第592行： − 它的运动只是部分由配置决定…当这样一台机器达到其中一种不明确的配置时，它不能继续运行，直到外部操作者做出任意的选择。如果我们使用机器来处理公理系统，就会出现这种情况。——The Undecidable，p.118+ 第602行：
第602行： − 这确实是一种技术，通过这种技术，一个确定型的(即a -)图灵机可以用来模拟一个非确定型的图灵机的行为; 图灵在脚注中解决了这个问题，似乎把它从进一步的考虑中剔除了。+ − Oracle机或 o-machine是一种图灵机器，它将计算暂停在“o”状态，同时，为了完成计算，它“等待”“oracle”- 一个未指定的实体（不是一台机器）“的决定(图灵(1939) ，The undecutable，p.166-168)。+
→选择C型机器、Oracle的O型机器
它的运动只是部分由配置决定…当这样一台机器达到其中一种不明确的配置时，它不能继续运行，直到外部操作者做出任意的选择。如果我们使用机器来处理公理系统，就会出现这种情况。——The Undecidable，p.118
This is indeed the technique by which a deterministic (i.e., a-) Turing machine can be used to mimic the action of a nondeterministic Turing machine; Turing solved the matter in a footnote and appears to dismiss it from further consideration.
This is indeed the technique by which a deterministic (i.e., a-) Turing machine can be used to mimic the action of a nondeterministic Turing machine; Turing solved the matter in a footnote and appears to dismiss it from further consideration.
这通过这种技术，一个确定型的(比如，a-)图灵机可以用来模拟一个非确定型的图灵机的行为; 图灵在脚注中解决了这个问题，似乎把它从进一步的考虑中剔除了。
An oracle machine or o-machine is a Turing a-machine that pauses its computation at state "o" while, to complete its calculation, it "awaits the decision" of "the oracle"—an unspecified entity "apart from saying that it cannot be a machine" (Turing (1939), The Undecidable, p. 166–168).
An oracle machine or o-machine is a Turing a-machine that pauses its computation at state "o" while, to complete its calculation, it "awaits the decision" of "the oracle"—an unspecified entity "apart from saying that it cannot be a machine" (Turing (1939), The Undecidable, p. 166–168).
Oracle机或o-machine是一种图灵机器，它将计算暂停在“o”状态，同时，为了完成计算，它“等待”“oracle”——一个未指定的实体（不是一台机器）“的决定(The undecutable，p.166-168)。
==通用图灵机==
==通用图灵机==