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.
最后证明了这类操作的图灵机表达能力。