基於分明量子邏輯的量子有限自動機（sharp quantum logic based quantum finite automata）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基於分明量子邏輯的量子有限自動機（sharp quantum logic based quantum finite automata）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義由應明生於2000...
基於量子邏輯的量子有限自動機（quantum logic based quantum finite automata）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 包括基於分明和不分明量子邏輯的量子有限自動機。出處 《計算機科學技術名詞 》第三版 ...
基於分明量子邏輯的自動機理論（automata theory based on sharp quantum logic）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 初始狀態、終止狀態，以及轉移函式均為正交模格值函式的量子自動機理論。出處 《計算機科學...
量子有限自動機 量子有限自動機（quantum finite automata）是2018年公布的計算機科學技術名詞。定義 有限自動機在量子計算領域的推廣。包括基於機率的量子有限自動機和基於量子邏輯的量子有限自動機。出處 《計算機科學技術名詞 》第三版。
量子計算是計算機科學領域重要的研究方向，其中量子計算模型是其關鍵的科學問題之一。本項目擬採用語義分析方法，完善基於量子邏輯的計算理論：建立量子邏輯框架下的上下文無關文法、有限樹自動機、ω-正則表達式、Müller自動機、Rabin自動機和...
再次，通過引入量子有限步可識別語言和量子狀態構造方法,建立量子Müller自動機識別語言的代數刻畫和層次刻畫，同時給出Müller自動機識別語言的等價單體二階量子邏輯刻畫，深化了量子邏輯意義下的Büchi基本定理。最後，分別詳細研究了Büchi自動...
套用模糊拓撲結構乘積研究模糊自動機乘積將是本課題的重點。同時課題組將探索量子有限自動機的乘積及相關性質，加深對量子計算的理解，揭示基於量子邏輯計算的機制。結題摘要 自動機的狀態最小化問題與乘積研究在數學與計算機的理論和套用方面...
本項目研究量子計算模型的判定性問題，特別是討論任意兩個雙向量子有限自動機之間是否等價的判定性問題；對任意兩個量子下推自動機識別的語言，研究它們的交是否為空及它們是否相等的判定性問題。同時，研究基於量子邏輯的計算理論（正交模格...
拓展了基於量子邏輯的格值量子有限自動機，給出並證明了其上的廣義泵引理。證明了希爾伯特空間上的該類量子自動機全體對復空間維數n構成一個真包含譜系。研究了量子進程代數的代數語義，證明了兩個量子進程代數雙模擬若且唯若相應的種子...
