turing machine

同根派生

They gave the formal definition of Turing reduction in terms of oracle Turing machine (OTM).
他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。
This paper discusses how to simulate Turing machine by Petri net from the viewpointof information transformation.
本文从信息变换的角度来阐明“如何用Petri网模拟Turing机”。
The similiarities and differences between DNA computer and turing machine are compared also.
比较了DNA计算机与图灵机的异同;
It is declared in the A. Church proposition that every algorithm can be described with a Turing machine.
著名的丘奇(A.;Church)命题指出;任何算法都可以用一个图灵机来描述
Finally, the operation's expression ability of Turing machine properties is proved.
最后证明了这类操作的图灵机表达能力。