確定型圖靈機 的英文怎麼說

中文拼音 [quèdìngxíngtúlíngjī]
確定型圖靈機 英文
turing machine
  • 確 : 形容詞1. （符合事實; 真實） true; reliable; authentic 2. （堅固; 堅定） firm
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 圖 : Ⅰ名詞1 （繪畫表現出的形象; 圖畫） picture; chart; drawing; map 2 （計劃） plan; scheme; attempt 3...
  • 靈 : Ⅰ形容詞1 （靈活; 靈巧） quick; clever; bright 2 （靈驗） effective Ⅱ名詞1 （精神; 靈魂） spirit; ...
  • 機 : machineengine
  1. This paper investigates the closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states, and shows, for example, that for any function l such that l loglogn and l o, the class of sets accepted by weakly strongly l space - bounded 1 - inkdot two - way alternating pushdown automata with only existential universal states is not closed under concatenation with regular sets, length - preserving homomorphism, and kleene closure

    Chandra kozen和stockmeyer提出了交替性alternation作為并行計算的一個理論模型。交替式alternating圖靈機是非確定性圖靈機的推廣，它的狀態集合被分為萬能狀態universal state和存在狀態existential state 。非確定性圖靈機可看作只有存在狀態的交替式圖靈機。
  2. 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圖靈機。
  3. The relations between the mechanism parameters and some performance parameters of stewart platform such as leg position workspace, pose workspace, flexibility ratio and so on is studied. the leg mechanism is researched through space model theory, area performance atlas of leg position workspace is done and some conclusions are drew. the correctness of the preliminary mechanism parameters is proved by all of above

    研究了並聯腿機構結構參數對腿位置運動空間、姿態運動空間的影響，應用空間模型理論對腿部機構作了研究，作出了腿位置工作空間面積性能圖譜，得出了一些結論，並且定義了並聯腿機構性能指標靈活度，驗證了選取初步結構參數的正確性。
  4. In the paper, theories and functions of the whole system are introduced, the typical theories and algorithms of relay protection employed in the system are lucubrated, the configuration of relay protections is researched, the demonstration constitution schemes are determined, the psd remote program upgrading method based on 80c196kc is provided, the relay protection software is designed based modular structure and in which the technologies of pts data transmission and the lcd multilevel menus which contain chinese characters and graphs are adopted, a configuration software design method is provided for adapting the need of training of different structure of substations, and a set of teaching, experimental and training software which has good teaching effects and has innovation to some extent is designed

    本文介紹了整個系統的結構、原理和功能，深入地研究了本系統所用的典型微機保護原理與演算法；研究了保護的配置；確定了變電站綜合自動化系統的示範構成方案；提出了基於80c196kc的psd微機保護遠程程序升級方法；設計了裝置保護軟體，軟體模塊化設計、流程清晰，並採用了pts數據傳送和lcd圖形和多級漢字菜單設計等技術；適應對不同結構的變電站培訓的需要，提出了一種組態軟體設計方法；設計了教學性好、啟迪性強、可靈活組態的教學實驗培訓軟體，有一定的創新性。
分享友人
分享到 Line

分享到臉書