常見例句

用作名詞 (n.)

• Finally, the operation's expression ability of Turing machine properties is proved.
  最后證明了這類操作的圖靈機(jī)表達(dá)能力。
• Some of these models are the recursive functions of Godel, of Church, Post machines of Post and the Turing machines of Turing.
  其中一些模型是哥德爾的遞歸函數(shù)，丘奇的演算，波斯特的波斯特機(jī)和圖靈的圖靈機(jī)。
返回 Turing