您要查找的是不是:
- Describing Turing's treatment as "horrifying" and "utterly unfair", Brown said the country owed the brilliant mathematician a huge debt. 將圖靈的治療描述為「令人恐怖的」和「完全不公平的」,布朗說國家欠這位傑出的數學家一筆巨債。
- 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. 最後證明了這類操作的圖靈機表達能力。
- Lisp: Turing Machines are an awkward way to describe computation. 圖靈機的計算模式糟得很。
- A model proposed by Davis for computable functions is equivalent to Turing machine and consists of three basic Fortran-form instructions. Davis曾提出由三條Fortran語言形的基本指令組成的與Turing機等價的計算模型。
- Those relations among the reduciblities are discussed,We introduce the Operator Turing Machine and give a Turing hierarchy of C[0,1] by using it. 引入了運算元圖靈機的概念,利用運算元圖靈機給出了 C[1,0]上的一個分層(不可解度的分層)。
- The production line include ZC auto washer, GD balanced pressure filer, WFG cap turing machine, SSJ carrying machine etc. 本生產流水線有ZC型自動沖瓶機、GD型等壓灌裝機、WFG型旋蓋機及SSJ型輸送機等系列產品組成。
- One model, the Turing machine, stores characters on an infinitely long tape, with one square at any given time being scanned by a read/write head. 一種模式是圖靈機,它把字元儲存在一個無限長的紙帶上,每次掃描一個方格時,都要讀寫帶頭。
- An alternating Turing machine M is a generalization of a nondeterministic Turing machine, whose state set is partitioned into'universal'and'existential'states. 交替式(alternating)圖靈機是非確定性圖靈機的推廣,它的狀態集合被分為萬能狀態(universal state)和存在狀態(existential state)。
- Through some examples, the paper shows that the Turing machine which scans multiple characters is equivalent to a Turing machine scanning one character. 該方法簡便且有效,通過實例證明了掃描多個符號的圖靈機與掃描一個符號的圖靈機是等價的。
- Interestingly, we discovered later that this last element was similar to a design that Paul Rothemund, a former student of Adleman, once proposed for a molecular Turing machine. 有趣的是,我們後來發現後者和羅瑟蒙(PaulRothemund)的設計類似,而羅瑟蒙的老師正是提出分子塗林機器觀念的艾德曼。
- He was already an accomplished computer scientist and software pioneer with a growing interest in biology in 1998 when he first designed a model for a molecular Turing machine. 夏比洛是傑出的資訊工程科學家和軟體設計先驅,對生物領域越來越感興趣,並於1998年設計了第一個分子塗林機器的模型;
- And yet from a computational standpoint, our automaton still seemed like a self-propelled scooter compared with the Rolls-Royce of computers on which we had set our sights: the biomolecular Turing machine. 然而從計算的觀點來看,我們的自動機就像人力推進的滑板車一樣,而我們的目標,是建造勞斯萊斯級的生物分子塗林機器。
- I do not like to go to the movies by my self. 我不喜歡自己一個人看電影。
- I my self is going to make a sandwich. 我要親手做個三明治。
- Summarily, the introduced work lays a foundation for further studies on more complicated quantum automata and quantum grammars such as quantum pushdown automata and Turing machine as well as quantum context-free grammars and context-sensitive grammars. 因此;為進一步研究更複雜的量子自動機(如量子下推自動機和Turing機)和量子文法(如量子上下文無關文法和上下文有關文法)奠定了基礎.