量子有限自動機(quantum finite automata)是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名:量子有限自動機
- 外文名:quantum finite automata
- 所屬學科:計算機科學技術
- 公布時間:2018年
量子有限自動機(quantum finite automata)是2018年公布的計算機科學技術名詞。
量子有限自動機(quantum finite automata)是2018年公布的計算機科學技術名詞。定義有限自動機在量子計算領域的推廣。包括基於機率的量子有限自動機和基於量子邏輯的量子有限自動機。出處《計算機科學技術名...
量子有限自動機:等價性和最小化是一本2019年出版的圖書,由浙江大學出版社出版 內容簡介 量子計算是計算機科學與量子力學交叉產生的新興學科,經過30多年的發展,在理論和實驗方面都已經取得了長足的進展。本書從計算機科學領域自動機理論...
量子線性有界自動機 量子線性有界自動機(quantum linear bounded automata)是2018年公布的計算機科學技術名詞。定義 讀寫帶兩頭受限的量子圖靈機。出處 《計算機科學技術名詞 》第三版。
該自動機識別的語言是否為空集。該自動機識別的語言是否為有限集。該自動機是否與另一個確定有限狀態自動機識別同一個的語言。注意事項 注意,自動機一般不必須有有限數目甚至可數個狀態。比如,量子有限自動機有不可數無限個狀態,因為...
單向量子有限自動機(one-way quantum finite automata)是2018年公布的計算機科學技術名詞。定義 狀態集定義在有限維的希爾伯特空間,轉移函式的值由機率振幅表示,狀態演化為么正演化,測量多次的(每次狀態轉移後都進行測量)、讀寫頭只能...
基於分明量子邏輯的量子有限自動機(sharp quantum logic based quantum finite automata)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 由應明生於2000年開創。其中以伯克霍夫(Birkhoff)和馮·諾依曼(vonNeumann)的...
基於量子邏輯的量子有限自動機(quantum logic based quantum finite automata)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 包括基於分明和不分明量子邏輯的量子有限自動機。出處 《計算機科學技術名詞 》第三版 ...
基於機率的量子有限自動機(probability-based quantum finite automata)是2018年發布的計算機科學技術名詞。定義 由摩爾(Moore)和克魯奇菲爾德(Cruchfield)於1997年開創。其中狀態集定義在有限維的希爾伯特(Hilbert)空間,轉移函式的值由...
拓撲自動機經常叫做M-自動機,簡單是半自動機加上接受狀態集合的補充,這裡的集合交集確定初始狀態是被接受還是被拒絕。一般的說,自動機不需要嚴格的接受或拒絕一個輸入;它可以按某個在零和一之間的機率接受它。還是用量子有限自動機...
《量子有窮自動機的時空複雜度優勢及相關問題》是依託中山大學,由鄭盛根擔任項目負責人的青年科學基金項目。中文摘要 量子有窮自動機作為量子計算最簡單的模型,對它的研究有利於對量子計算本質的理解。 迄今量子有窮自動機在時間、狀態...
其次,通過引入單體二階量子邏輯的概念,利用“層次化”處理技巧,給出Büchi自動機識別語言的等價單體二階量子邏輯刻畫,推廣了量子邏輯意義下的Büchi基本定理。再次,通過引入量子有限步可識別語言和量子狀態構造方法,建立量子Müller自動機...
4.5 量子隱形傳態 . 51 4.6 小結 52 參考文獻 53 第5章 量子計算模型 55 5.1 單向量子有限自動機(1QFA) 55 5.1.1 單次測量的1QFA . 55 5.1.2 多次測量的1QFA . 63 5.1.3 帶經典...
《量子計算模型的判定性、無歧量子通信及相關問題》是依託中山大學,由邱道文擔任項目負責人的面上項目。中文摘要 本項目研究量子計算模型的判定性問題,特別是討論任意兩個雙向量子有限自動機之間是否等價的判定性問題;對任意兩個量子下推...
量子下推自動機 量子下推自動機(quantum pushdown automata)是2018年公布的計算機科學技術名詞。定義 狀態集和棧均取自有限維的希爾伯特空間,狀態演化為么正演化的量子自動機。出處 《計算機科學技術名詞 》第三版。
(2)與經典自動機理論對比,分析非矛盾律和排中律的缺失對有效結構量子自動機的影響。分析各種有效結構的數學性質在量子自動機上的反映,以及它們和量子系統的物理性質的對應關係。(3)研究不同的unsharp定義組成的體系以及相應有效結構組成...
《量子元胞自動機》是2015年科學出版社出版的圖書,作者是蔡理、楊曉闊、劉保軍。內容簡介 本書以作者所在的微納電子器件研究團隊多年的研究成果為基礎,用專業的視角和通俗的語言系統闡述了量子元胞自動機這一新器件的原理,以及由該器件...
automata theory based on sharp quantum logic)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義 初始狀態、終止狀態,以及轉移函式均為正交模格值函式的量子自動機理論。出處 《計算機科學技術名詞 》第三版 ...
第二部分量子計算 3量子計算理論:綜述 程偉王珏37 3.1引言37 3.2量子自動機理論40 3.2.1量子有限自動機理論41 3.2.2量子下推自動機理論45 3.2.3量子圖靈機理論48 3.3量子形式語言理論51 3.4量子可計算性理論54 3.4.1...
我們討論量子多棧機機器和量子多計數機機器模擬量子Turing機,及有關的計算複雜性問題,然後以量子有限自動機及量子下推自動機為證實者,討論量子零知識互動式證明系統的計算能力和有關性質;同時探討量子計算模型的輸入是否可以量子化(以往...
拓展了基於量子邏輯的格值量子有限自動機,給出並證明了其上的廣義泵引理。證明了希爾伯特空間上的該類量子自動機全體對復空間維數n構成一個真包含譜系。研究了量子進程代數的代數語義,證明了兩個量子進程代數雙模擬若且唯若相應的種子...