existential closure 中文意思是什麼
existential closure
解釋
存在閉包- existential : adj. 1. 關于存在的，依據存在經驗的。2. 【哲學】存在主義的。3. 【邏輯學】存在判斷的。n. -ism 【哲學】存在主義。n. -ist 【哲學】存在主義者。
- closure : n 1 關閉，停業；截止；末尾，結束；〈英議會〉終止辯論（＝〈美國〉 cloture）。2 閉塞物；【建築】隔...
-
A note on non - closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states
因為它們為計算機科學理論的研究提供了一個基本的思想和數學模型。 -
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
例如，關系在關系代數運算下的結果仍為關系，我們稱關系集合在關系代數運算下封閉。 -
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 。非確定性圖靈機可看作只有存在狀態的交替式圖靈機。
分享友人