(This talk is a joint work of Edwin Beggs, Jose Felix Costa and John V. Tucker.) Consider the classical model of a Turing machine with an oracle. The classical oracle is a one step external consultation device. The oracle may contain either non-computable information, or computable information provided just to speed up the computations of the Turing machine.
展开▼
机译：（这次谈判是Edwin Beggs，Jose Felix Costa和John V. Tucker的联合工作。）考虑用甲骨文的图灵机的经典模型。古典oracle是一个步骤外部咨询设备。 Oracle可能包含不可计算的信息，或者提供的可计算信息只是为了加速图灵机的计算。
展开▼
