Oracle machine

However , the provable secure scheme in the random oracle machine can only be seen as a heuristic argument , will not guarantee the security in realization .

但是随机预言机下的可证明安全只能看作一种启发式争论，并不能保证系统在具体实现时的安全性。

Oracle Turing machine cartographic mode My model aircraft transmitter failed and the plane went haywire and crashed into tree .

我的飞机模型的发射机失灵了，飞机失控了，撞到了一棵树上。

They gave the formal definition of Turing reduction in terms of oracle Turing machine ( OTM ) .

他们用oracle图灵机（OTM）模型给出了图灵归约的形式定义。

no way of pinning down exactly what was going on . One nice touch on the side was his idea of an ' oracle ' Turing machine , one which would have the property of being able to answer one particular unsolvable problem ( like recognising an ordinal formula ) .

在这个问题上，艾伦有个想法，他想到一种算卦式的图灵机，一个这种机器对应着一个不可解的问题（比如判定一个序数公式），