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.
最後証明了這類操作的圖霛機表達能力。