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