They gave the formal definition of Turing reduction in terms of oracle Turing machine (OTM). 他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。
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.
The recrudescent rate of mental person is higher, some family members look only the patient is right now normal already, did not consolidate by doctor's advice take drug. 精神病人的复发率比较高，有的家属只看此时病人已正常，未按医嘱巩固服药。
Finally, the operation's expression ability of Turing machine properties is proved. 最后证明了这类操作的图灵机表达能力。