量子下推自動機（quantum pushdown automata）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：量子下推自動機
- 外文名：quantum pushdown automata
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
狀態集和棧均取自有限維的希爾伯特空間,狀態演化為么正演化的量子自動機。
出處
《計算機科學技術名詞 》第三版。
量子下推自動機
相關詞條
- 量子下推自動機
量子下推自動機（quantum pushdown automata）是2018年公布的計算機科學技術名詞。定義狀態集和棧均取自有限維的希爾伯特空間,狀態演化為么正演化的量子自動機。出處《計算機科學技術名詞 》第三版。1...
- 自動機理論
拓撲自動機經常叫做M-自動機，簡單是半自動機加上接受狀態集合的補充，這裡的集合交集確定初始狀態是被接受還是被拒絕。一般的說，自動機不需要嚴格的接受或拒絕一個輸入；它可以按某個在零和一之間的機率接受它。還是用量子有限自動機...
- 量子計算理論基礎
5.2 雙向量子有限自動機（2QFA） 76 5.3 帶量子與經典狀態的雙向有限自動機 81 5.4 量子下推自動機 91 5.5 量子文法 94 5.5.1 上下文無關文法與正則文法 94 5.5.2 量子正則文法 95 5.5.3 ...
- 量子信息系統的動態邏輯研究
主要包括：基於unsharp 量子邏輯的有窮自動機和下推自動機理論，基於unsharp 量子邏輯的圖靈機和線性有界自動機理論。通過深入系統的研究，我們發現了這些unsharp量子自動機的一系列不尋常的性質；由於Von Neumann量子邏輯不適用於構造開放系統...
- 基於量子邏輯的不確定性計算模型及其套用研究
第一，深化和推廣了量子上下文無關文法理論，得到了更廣泛的結果，建立了取值於賦值么半群的量化下推自動機和量化上下文無關文法理論，證明了在雙麼賦值么半群框架下以終狀態與以空棧方式識別語言的量化下推自動機彼此等價，研究了量化...
- 韓召偉
2. 韓召偉. 量子Büchi自動機的代數及邏輯刻畫, 電子學報,3. 韓召偉, 李永明. 模糊Büchi自動機的等價刻畫, 計算機學報,4. 韓召偉, 李永明. 基於量子邏輯的下推自動機與上下文無關文法, 軟體學報,5. 韓召偉, 李永明. 格值Mealy...
- 幾類非經典計算模型及相關問題的研究
我們討論量子多棧機機器和量子多計數機機器模擬量子Turing機,及有關的計算複雜性問題，然後以量子有限自動機及量子下推自動機為證實者，討論量子零知識互動式證明系統的計算能力和有關性質；同時探討量子計算模型的輸入是否可以量子化（以往...
- 知識科學中的基本問題研究
3.2.2量子下推自動機理論45 3.2.3量子圖靈機理論48 3.3量子形式語言理論51 3.4量子可計算性理論54 3.4.1量子有限自動機的可判定性和不可判定性問題54 3.4.2突破Church-Turing論題的限制55 3.4.3討論56 3.5量子計算複雜...
