非確定圖靈機 的英文怎麼說
中文拼音 [fēiquèdìngtúlíngjī]
非確定圖靈機
英文
non-deterministic turing machine- 非 : Ⅰ名詞1 (錯誤) mistake; wrong; errors 2 (指非洲) short for africa 3 (姓氏) a surname Ⅱ動詞1 ...
- 確 : 形容詞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. (明確地定下) define; fix; determine; ascertain 2. (明確而肯定) definite; certain; for sure
-
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 。非確定性圖靈機可看作只有存在狀態的交替式圖靈機。11 xu j, yoshinaga t, inoue k et al. rm alternation for sublogarithmic space - bounded alternating pushdown automata
對於1墨水點圖靈機,確定性語言族和非確定性語言族是不相等的。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圖靈機。
分享友人