turing 中文意思是什麼
turing
解釋
遞歸函數-
One of us ( shapiro ) began this research with the realization that the basic operations of certain biomolecular machines within living cells ? recognition of molecular building blocks, cleavage and ligation of biopolymer molecules, and movement along a polymer ? could all be used, in principle, to construct a universal computer based on turing ' s conceptual machine
這項研究的開端，是本文作者之一夏比洛意識到，細胞內某些生物分子組件的基本運作方式，像是辨認基本分子建構單元、切開和連接生物聚合分子，以及組件沿著聚合分子移動的方式，理論上都能以塗林的概念為基礎，建構普適的計算器器。 -
Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines
目前對屬性文法循環性問題復雜度的證明，多基於自動機理論，如寫入推出接受器、交替塗林機等。 -
Magnasco, m. o. " chemical kinetics is turing universal. " phys. rev. lett. 78 ( 1997 ) : 1190 - 3
具備杜林恆定性的化學動力學。 "期刊物理評論簡訊第78卷。第1190到1193頁。 -
A refutation of john searle ' s criticism of turing test
兼論行為主義作為圖靈測驗理論基礎的合理性 -
Shunde guang lianhong communication machinery manufacturing co, . ltd. specializes in manufac - turing new nippon container semi - trailer, it is the biggest enterprise and export base in china which produces container semitrailer. its output and export sales volume are temporarily the largest in china. its products have been exported to hong kong, south - east asia and other countries, and highly praised by both domestic and oversea customers
順德廣連鴻交通機械製造廠有限公司，為生產新日鋼牌集裝箱半掛車的專業企業，是目前國內生產集裝箱半掛車的最大企業和出口基地，產量和出口量暫居全國第一。 -
Professor andrew yao, turing award winner and distinguished professor - at - large of the chinese university, will serve as chairman of the international advisory board of the joint laboratory
聯合實驗室之國際顧問委員會主席由杜林獎得主兼香港中文大學博文講座教授姚期智教授擔任。 -
Prof. andrew yao, cuhk professor - at - large and the first chinese to win the turing award in computer science, under whose leadership our theoretical computer science programme is now the most acclaimed in the region
中大博文講座教授姚期智教授是首位杜林獎的華裔得獎人，其領導的理論計算機科學研究工作于區內享負盛名 -
13 yoshinaga t, xu j, inoue k. a note on closure property of sublogarithmic space - bounded 1 - inkdot alternating turing machines with only existential universal states
例如，關系在關系代數運算下的結果仍為關系，我們稱關系集合在關系代數運算下封閉。 -
The encryption key itself is the most vulnerable component of any code ; enigma stymied the efforts of the greatest code breakers of europe and america, including alan turing, and was never actually broken
相反，大多數以這種方法保護的系統無法執行一次足夠的安全性審查；有一些事情是公開的，它允許您從用戶那裡獲得免費的安全性忠告。 -
The thesis consists of four sections. in section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic - the algebraic structure of the plus cupping turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a, b such that a, b ? pc, and the join a v b of a and b is high
本篇論文分為4個部分：第一部分介紹了這個領域的一些背景知識；第二部分主要回顧了前人在研究可計算枚舉度的結構和層譜時所取得的一些基本和最新結果，這些結果與我們的主題?加杯圖靈度的代數結構密切相關；在第三部分中，我們概要的描述了優先樹方法的基本原理，此方法是可計算性理論中定理證明的一個重要框架和工具；第四部分證明了一個加杯圖靈度代數結構的新結果：存在兩個可計算枚舉度a ， b ，滿足a ， b pc ，而且a和b的並a b是一個高度。 -
Turing to police efforts against triad activities, mr tang said that police had been mounting strategic operations such as operation " flame wood " and operation " root canal " which successfully dealt a heavy blow to the source of finance for triad members
在打擊涉及黑社會活動方面，鄧厚升表示，警方一直採取策略性的行動以打擊該類違法活動，如首半年進行的火苗及火根等行動，有效地打擊黑社會的財政來源。 -
That all computers can simulate each other is an immediate consequence of the theoretical work of alan turing and alonzo church
所有計算機能夠互相模擬，這是阿蘭?圖林和奧隆索?喬奇理論工作的直接結論。 -
Lecture notes in computer science 843. berlin : springer - verlag, 1994, pp. 89 - 94. 8 inoue k, ito a, takanami i. on 1 - inkdot alternating turing machines with small space
為了嚴格地分開確定性語言族和非確定性語言族， ranjan等提出了一個稍加修改的圖靈機模型，稱為1墨水點1 inkdot圖靈機。 -
These languages are not necessarily turing - complete if it has a computational power equivalent to a universal turing machine - in other words, the system and the universal turing machine can emulate each other
這些語言不必是圖靈完全的（如果它具有與通用圖靈機等同的計算能力換句話說，系統和通用圖靈機可以相互模擬） 。 -
Turing electric energy into the energy of motion is only part of what the electromagnet does for us
把電能轉換成動能，只是我們利用磁鐵的一個方面。 -
In 1991, hugh loebner started the loebner prize competition, offering a $ 100, 000 prize to the author of the first computer program to pass an unrestricted turing test
1991年，休.羅布爾發起了羅布爾獎競賽，為第一個能夠通過無限制圖靈測試的計算機程序的作者提供10萬美元的獎金。 -
It is a method of spiral, gradual, independence and synchronization. by the vf - sdm, visual simulation system is decomposed and assorts with object model, simulation model, visual federation model, move controlling model, and display synchronization model. the author designed a grammar of visual federation context and a turing conversion mechanism, and concept composes of graph language
Vf - sdm是一種「螺旋、漸近、獨立、同步」開發方法，這種方法實現了視景模擬系統對象模型、模擬模型、視景聯邦模型、運動體控制模型、視景顯示同步模型分解與協調。 -
Alan turing proved in 1936 that a general algorithm to solve the halting problem for all possible inputs cannot exist
Alan turing在1936年證明了對所有可能輸入解決停機問題的通用演算法是不存在的。 -
The production line include zc auto washer, gd balanced pressure filer, wfg cap turing machine, ssj carrying machine etc
本生產流水線有zc型自動沖瓶機、 gd型等壓灌裝機、 wfg型旋蓋機及ssj型輸送機等系列產品組成。 -
In the third section, the author discusses different functionalism types, including david lewis ' s commonsense functionalism, machine functionalism, homuncular functionalism and teleological functionalism. the author analyses two concepts, ramsey sentence and turing machine, which are important for functionalism, and explains the view of functionalism by using both concepts. in the fourth section, the author displays many difficulties functionalism faces
在第三部分，筆者論述了功能主義的分類，把其分為劉易斯的常識功能主義、機器功能主義、小人功能主義和目的論功能主義，重點說明了對功能主義影響深遠的兩個概念：拉姆齊語句和圖靈機，通過這兩個概念細致地說明了功能主義對心身問題的看法。
分享友人