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