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