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

中文拼音 [fēiquèdìnglíng]
非確定圖靈機 英文
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
  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. 11 xu j, yoshinaga t, inoue k et al. rm alternation for sublogarithmic space - bounded alternating pushdown automata

    對於1墨水點性語言族和性語言族是不相等的。
  3. 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
分享友人