Computation theory 如何证明oracle机器解决了“问题”；停止prblm

我需要一些帮助来显示暂停问题可以通过oracle机器解决。我不知道如何开始证明。

停止问题是确定某个程序是否将完成运行或永远继续运行的问题。这是对程序的一些输入和描述。注意，在图灵机器上，停止问题是不可判定的，它是决策问题的第一个例子之一。（2018年1月21日查阅）

一个说明停止问题的示例是一个while循环，它从不满足/没有退出条件。这个程序将永远运行下去。考虑频谱的另一端，其中一个java系统的程序，out .pPrtLn（“hello”）语句将在引用到控制台之间打印内容，然后它将停止。

一台Oracle机器用于研究决策问题，它有一个输入，黑匣子，和**输出*。黑匣子里有我们的图灵机器。神谕。。。或者带黑匣子的图灵机。。。在单个操作中解决某些决策问题。可以使用不可判定的问题或不可计算的问题。（2018年1月21日查阅）

---

停顿问题是一个无法确定的问题。所以我们可以用甲骨文机器来理解它。现在去谷歌搜索一些关于甲骨文机器的信息，并解决停机问题。祝你好运。

根据定义，甲骨文被认为能够正确地解决某些特定问题；我们可以想象任何问题的预言，即使是无法确定的问题

你问题的答案很简单。oracle可以解决暂停问题，因为您定义的oracle可以解决任何问题。这就是神谕的要点

---

可能，您的问题是，您得到了一个用于其他特定问题的oracle，并且您被要求显示该问题的oracle可用于解决停止问题的实例。这是一个完全不同的任务，可能发生的情况是，这个oracle允许或不允许您解决停止问题的实例。在任何情况下，你都需要证明它是或不是；一般来说，这不会立即变得明显。

可能更像是一个问题。这个问题属于。