雙向下推自動機是2008年公布的海峽兩岸信息科學技術名詞。
基本介紹
- 中文名：雙向下推自動機
- 外文名： two-way push-down automaton
- 所屬學科：信息科學技術
- 公布年度： 2008年
公布時間,出處,
公布時間
2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。
出處
《海峽兩岸信息科學技術名詞》。
雙向下推自動機是2008年公布的海峽兩岸信息科學技術名詞。
雙向下推自動機是2008年公布的海峽兩岸信息科學技術名詞。 公布時間2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處《海峽兩岸信息科學技術名詞》。...
下推自動機﹙PDA﹚是自動機理論中定義的一種抽象的計算模型。下推自動機比有限狀態自動機複雜：除了有限狀態組成部分外，還包括一個長度不受限制的棧；下推自動機的狀態遷移不但要參考有限狀態部分，也要參照棧當前的狀態；狀態遷移不但包括有限狀態的變遷，還包括一個棧的出棧或入棧過程。技術原理 下推自動機可以...
標準型下推自動機（normal form push down automaton）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 下推自動機的一種標準形式；規定在每一步動作中，對棧的操作只能是下面三種情況之一：彈出棧頂元素，壓入一個新的棧頂，或棧的內容保持不變。出處 《計算機科學技術名詞 》第三版...
《有限自動機理論》是2007年電子科技出版社出版的圖書，作者是陳文宇。內容提要 《有限自動機理論》簡述了形式語言的基本內容，包括文法的分類和語言間運算的封閉性，有限自動機（包括有限狀態自動機、下推自動機和圖靈機）的基礎理論，從構造文法產生語言的角度和構造自動機識別語言的角度對語言進行討論，並介紹文法與...
量子下推自動機 量子下推自動機（quantum pushdown automata）是2018年公布的計算機科學技術名詞。定義 狀態集和棧均取自有限維的希爾伯特空間,狀態演化為么正演化的量子自動機。出處 《計算機科學技術名詞 》第三版。
隨機下推自動機 隨機下推自動機（stochastic pushdown automaton）是1990年公布的自動化科學技術名詞。公布時間 1990年，經全國科學技術名詞審定委員會審定發布。出處 《自動化名詞》第一版。
嵌入下推自動機或 EPDA 是分析樹-鄰接文法(TAG)的計算模型。除了不再使用堆疊來存儲符號之外，它類似於分析上下文無關文法的下推自動機。它有存儲符號的重複堆疊組成的一個棧，這給予了 TAG 在上下文無關文法和上下文有關文法之間的複雜度，或者說是適度上下文有關文法的子集。歷史和套用 EPDA 最初由 K. Vijay-...
在自動機理論中，確定性下推自動機（DPDA或DPA）是下推自動機的變體。 確定性下推自動機類接受確定性無上下文語言，這是無上下文語言的適當子集。機器轉換基於當前狀態和輸入符號，以及堆疊的當前最頂部符號。 堆疊中較低的符號不可見，並且沒有立即生效。 機器動作包括推動，彈出或更換堆疊頂部。 確定性下推自動機...
《形式語言與自動機理論（第3版）》是2013年清華大學出版社出版的圖書，作者是蔣宗禮、姜守旭。內容簡介 本書是作者結合其近30年來在大學講授該門課程的經驗和體會，選擇和組織有關內容撰寫而成。基於計算機問題求解的需要討論正則語言、上下文無關語言的文法、識別模型及其性質、圖靈機的基本知識。其內容特點是抽象和...
3.2有窮狀態自動機89 3.3不確定的有窮狀態自動機102 3.3.1作為對DFA的修改102 3.3.2NFA的形式定義104 3.3.3NFA與DFA等價106 3.4帶空移動的有窮狀態自動機110 3.5FA是正則語言的識別器115 3.5.1FA與右線性文法115 3.5.2FA與左線性文法120 3.6FA的一些變形122 3.6.1雙向有窮狀態自動機122 3...
確定性下推自動機 確定性下推自動機（deterministic pushdown automaton）是2018年公布的計算機科學技術名詞。定義 下推自動機中的一種，這種下推自動機的動作函式是單值函式，它接受的語言類嚴格小於非確定性下推自動機接受的語言類。出處 《計算機科學技術名詞 》第三版。
3.2有窮狀態自動機73 3.3不確定的有窮狀態自動機84 3.3.1作為對DFA的修改84 3.3.2NFA的形式定義86 3.3.3NFA與DFA等價92 3.4帶空移動的有窮狀態自動機96 3.5FA是正則語言的識別器100 3.5.1FA與右線性文法100 3.5.2FA與左線性文法104 3.6FA的一些變形105 3.6.1雙向有窮狀態自動機105 3.6...
3.2有窮狀態自動機46 3.3不確定的有窮狀態自動機51 3.3.1作為對DFA的修改51 3.3.2NFA的形式定義51 3.3.3NFA與DFA等價52 3.4帶空移動的有窮狀態自動機55 3.5FA是正則語言的識別器57 3.5.1FA與右線性文法57 3.5.2FA與左線性文法58 3.6FA的一些變形60 3.6.1雙向有窮狀態自動機60 3.6.2...
3.2有窮狀態自動機55 3.3不確定的有窮狀態自動機61 3.3.1作為對DFA的修改61 3.3.2NFA的形式定義61 3.3.3NFA與DFA等價63 3.4帶空移動的有窮狀態自動機66 3.5FA是正則語言的識別器68 3.5.1FA與右線性文法68 3.5.2FA與左線性文法70 3.6FA的一些變形72 3.6.1雙向有窮狀態自動機72 3.6.2...
3.2有窮狀態自動機46 3.3不確定的有窮狀態自動機51 3.3.1作為對DFA的修改51 3.3.2NFA的形式定義51 3.3.3NFA與DFA等價52 3.4帶空移動的有窮狀態自動機55 3.5FA是正則語言的識別器57 3.5.1FA與右線性文法57 3.5.2FA與左線性文法58 3.6FA的一些變形60 3.6.1雙向有窮狀態自動機60 3.6.2...
有窮轉向下推自動機 有窮轉向下推自動機是2008年公布的海峽兩岸信息科學技術名詞。 公布時間 2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》。
第5章 帶輸出的有限狀態自動機及其最小化73 5.1 Myhill鄄Nerode定理73 5.2 帶輸出的有限自動機77 問題與解答79 習題81 第6章 有限自動機的變形83 6.1 雙向有限自動機83 6.2 多頭有限狀態自動機88 6.3 機率有限自動機89 6.4 加權有限自動機和數字圖像92 問題與解答105 習題108 第7章 下推自動機110 ...
3.2 有窮狀態自動機 3.3 不確定的有窮狀態自動機 3.3.1 作為對DFA 的修改 3.3.2 NFA的形式定義 3.3.3 NFA與DFA等價 3.4 帶空移動的有窮狀態自動機 3.5 FA是正則語言的識別器 3.5.1 FA與右線性文法 3.5.2 FA與左線性文法 3.6 FA的一些變形 3.6.1 雙向有窮狀態自動機 3.6.2 帶輸出...
2.2有窮狀態自動機46 2.3不確定的有窮狀態自動機57 2.3.1作為對DFA的修改57 2.3.2NFA的形式定義58 2.3.3NFA與DFA等價60 2.4帶空移動的有窮狀態自動機64 2.5FA是正則語言的識別器68 2.5.1FA與右線性文法68 2.5.2FA與左線性文法72 2.6FA的一些變形73 2.6.1雙向有窮狀態自動機74 2.6.2...
《具有較小空間複雜性的交替式下推自動機的研究》是依託中國海洋大學，由徐建良擔任項目負責人的青年科學基金項目。 中文摘要 研究具有較小空間複雜性的交替式下推自動機是非常有意義的，因為交替式下推自動機是一個比交替式圖靈機更簡單的並行計算模型，它的性質解明對於並行計算機的計算複雜性的研究具有重要意義，很...
2.2 確定的有限自動機（DFA）2.3 不確定的有限自動機（NFA）2.4 NFA的確定化 2.5 DFA的最小化 2.6 正規集與有限自動機的等價性 2.7 雙向有限自動機 2.8 具有輸出的有限自動機 第三章 正規集的性質 3.1 正規集的泵作用引理 3.2 正規集的封閉性質 3.3 正規集的一些判定算法 第四章 上下文無關...
9.1 有窮自動機和正則表達式 9.2 正則表達式的模式識別 9.3 子串識別 9.4 雙向確定型下推自動機 9.5 位置樹和子串標識符 第10章 NP完全問題 10.1 非確定型圖靈機問題 10.2 P類和NP類 10.3 語言和問題 10.4 可滿足性問題的NP完全性 lO.5 其他NP完全問題 10.6 多項式空間界問題 第11章 一些可...
《量子計算模型的判定性、無歧量子通信及相關問題》是依託中山大學，由邱道文擔任項目負責人的面上項目。中文摘要 本項目研究量子計算模型的判定性問題，特別是討論任意兩個雙向量子有限自動機之間是否等價的判定性問題；對任意兩個量子下推自動機識別的語言，研究它們的交是否為空及它們是否相等的判定性問題。同時，研究...
5.2 雙向量子有限自動機（2QFA） 76 5.3 帶量子與經典狀態的雙向有限自動機 81 5.4 量子下推自動機 91 5.5 量子文法 94 5.5.1 上下文無關文法與正則文法 94 5.5.2 量子正則文法 95 5.5.3 *量子上下文無關文法 97 5.6 量子圖靈機（QTM） 99 5.7 量子...
②下推自動機：它比有限自動機多一個下推存儲器，它的狀態轉移取決於輸入符號、有限控制器的當前狀態以及下推存儲器頂端的符號。在狀態轉移時，不僅能向右移動輸入磁頭，而且能改變下推存儲器的內容。③圖靈機：它雖然沒有下推存儲器，但在狀態轉移時可改寫輸入磁帶上的符號，並允許磁頭或左或右雙向移動。④線性...
Nokia N95的滑蓋並採用的是雙向滑蓋技術，可以向上推，也可以向下推，可以向上下兩個方向進行滑蓋開啟。其中，向下推上面是音樂控制鍵，向上推是數字鍵，從背面看像是卡片相機 。尺寸參數 Nokia N95的機身尺寸為99×53×21毫米 。顏色材質 Nokia N95機身為工程塑膠殼材質，手機背面的軟膠材質。機身有黑色、白色、...
3.1.3 自動機 3.2 正則文法與有窮自動機 3.2.1 正則表達式與正則文法 3.2.2 有窮自動機 3.2.3 在自然語言處理中的套用 3.3 上下文無關文法和下推自動機 3.3.1 上下文無關文法 3.3.2 下推自動機 3.3.3 在自然語言處理中的套用 習題 第4章 機器學習基礎 4....
7.1 下推自動機 7.2 PDA的變種 7.3 上下文無關語言的接收 7.4 上下文無關語言的泵引理 7.5 上下文無關語言的封閉性 7.6 練習 參考文獻注釋 第三部分 可計算性 第8章 圖靈機 8.1 標準圖靈機 8.2 作為語言接收器的圖靈機 8.3 可供選擇接收標準 8.4 多道圖靈機 8.5 雙向圖靈機 8.6 多...
5、具有多種工作模式可供選擇，即可雙向讀卡限流，也可一邊讀卡、另一方向禁行，一邊讀卡、另一方向自由通行，且閘機工作模式可通過控制板按鈕進行設定，不需改變機械結構。6、具有斷電落桿，通電自動上桿功能。7、具有遠距離控制落桿、上桿功能，以滿足用戶的特殊需求及消防安全需求。8、具有統一、標準的對外電氣...
雙向雙領蹄式制動器 無論是前進制動還是倒車制動，兩制動蹄都是領蹄的制動器稱為雙向雙領蹄式制動器，圖5-42是其結構示意圖器。與領從蹄式制動器相比，雙向雙領蹄式制動器在結構上有三個特點，一是採用兩個雙活塞式制動輪缸；二是兩制動蹄的兩端都採用浮式支承，且支點的周向位置也是浮動的；三是制動底板上...