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網(wǎng)模擬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.
最后證明了這類操作的圖靈機表達能力。