雙向有限自動機（two-way finite automaton）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：雙向有限自動機
- 外文名：two-way finite automaton
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
有限自動機中的一種，它的唯讀輸入頭可以向右移，也可以向左移。
出處
《計算機科學技術名詞 》第三版。
雙向有限自動機
相關詞條
- 雙向有限自動機
雙向有限自動機（two-way finite automaton）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義有限自動機中的一種，它的唯讀輸入頭可以向右移，也可以向左移。出處《計算機科學...
- 雙向量子有限自動機
雙向量子有限自動機（two-way quantum finite automata）是2018年公布的計算機科學技術名詞。定義 狀態集定義在有限維的希爾伯特空間，轉移函式的值由機率振幅表示，狀態演化為么正演化,測量多次的（每次狀態轉移後都進行測量）、讀寫頭可以左右移動的量子自動機。出處 《計算機科學技術名詞 》第三版。
- 雙向下推自動機
雙向下推自動機 雙向下推自動機是2008年公布的海峽兩岸信息科學技術名詞。 公布時間 2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》。
- 雙向有窮自動機
雙向有窮自動機 雙向有窮自動機是2008年公布的海峽兩岸信息科學技術名詞。 公布時間 2008年全國科學技術名詞審定委員會公審定布的海峽兩岸信息科學技術名詞。出處 《海峽兩岸信息科學技術名詞》。
- 有限自動機理論
《有限自動機理論》是2007年電子科技出版社出版的圖書，作者是陳文宇。內容提要 《有限自動機理論》簡述了形式語言的基本內容，包括文法的分類和語言間運算的封閉性，有限自動機（包括有限狀態自動機、下推自動機和圖靈機）的基礎理論，從構造文法產生語言的角度和構造自動機識別語言的角度對語言進行討論，並介紹文法與...
- 形式語言,自動機理論與計算導論
第6章 有限自動機的變形83 6.1 雙向有限自動機83 6.2 多頭有限狀態自動機88 6.3 機率有限自動機89 6.4 加權有限自動機和數字圖像92 問題與解答105 習題108 第7章 下推自動機110 7.1 下推自動機110 7.2 空棧接受和終態接受的等價113 7.3 CFG和PDA的等價114 問題與解答121 習題124 第8章 上下文無...
- 量子有限自動機:等價性和最小化
3 量子自動機模型 3．1 測量一次的單向量子有限自動機 3．2 測量多次的單向量子有限自動機 3．3 帶控制語言的單向量子有限自動機 3．4 帶經典態的單向量子有限自動機 3．5 雙向量子有限自動機 3．6 帶量子和經典態的雙向有限自動機 3．7 多字元量子有限自動機 3．8 其他量子有限自動機 3．9 量子時序機 ...
- 米利型有限狀態機
在計算理論中，米利型有限狀態機（英語：Mealy machine）是基於它的當前狀態和輸入生成輸出的有限狀態自動機（更精確的叫有限狀態變換器）。這意味著它的狀態圖將為每個轉移邊包括輸入和輸出二者。與輸出只依賴於機器當前狀態的摩爾有限狀態機不同，它的輸出與當前狀態和輸入都有關。但是對於每個Mealy機都有一個等價的...
- 自動機理論與套用
5.9 有限狀態變換器 67 5.10 雙向變換器 69 5.11 隨機有限自動機：Markov模型與隱藏Markov模型 70 5.11.1 Markov模型 71 5.11.2 隱馬模型 74 5.12 有限自動機、無限字元串：Büchi自動機 79 練習 83 第6章 正則表達式 88 6.1 什麼是正則表達式 88 6.2 Kleene定理 91 6.2.1 建立正則表達式的FSM...
- 穿越序列
穿越序列 穿越序列（crossing sequence）是2018年公布的計算機科學技術名詞。定義 雙向有限自動機在識別輸入帶上的一個輸入字元串時，對某位置上的字元，掃描到時會產生一個新狀態，每次掃描到該字元產生的狀態序列稱為對該位置的穿越序列。出處 《計算機科學技術名詞 》第三版。
- 計算機科學的數學基礎
2.3 不確定的有限自動機（NFA）2.4 NFA的確定化 2.5 DFA的最小化 2.6 正規集與有限自動機的等價性 2.7 雙向有限自動機 2.8 具有輸出的有限自動機 第三章 正規集的性質 3.1 正規集的泵作用引理 3.2 正規集的封閉性質 3.3 正規集的一些判定算法 第四章 上下文無關語言 4.1 上下文無關文法 4....
- 量子計算理論基礎
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 量子電路 103 5.7.1 量子門 103 5.7....
- 量子計算模型的判定性、無歧量子通信及相關問題
《量子計算模型的判定性、無歧量子通信及相關問題》是依託中山大學，由邱道文擔任項目負責人的面上項目。中文摘要 本項目研究量子計算模型的判定性問題，特別是討論任意兩個雙向量子有限自動機之間是否等價的判定性問題；對任意兩個量子下推自動機識別的語言，研究它們的交是否為空及它們是否相等的判定性問題。同時，研究...
- 語言識別器
②下推自動機：它比有限自動機多一個下推存儲器，它的狀態轉移取決於輸入符號、有限控制器的當前狀態以及下推存儲器頂端的符號。在狀態轉移時，不僅能向右移動輸入磁頭，而且能改變下推存儲器的內容。③圖靈機：它雖然沒有下推存儲器，但在狀態轉移時可改寫輸入磁帶上的符號，並允許磁頭或左或右雙向移動。④線性...
- 擴展狀態變遷模型語言
Estelle的基本模型是擴充的有限狀態自動機。系統的結構描述為由模組(MODULE)組成的層次形結構。模組之間通過互動點(IP)之間的雙向通道(CHANNEL)交換信息。模組之間的層次關係以及通道的結構均可隨時間變化，因此可以描述結構動態變化的系統。每個模組都有自己的狀態空間，由一組變數的值決定。在這組變數中，有一個特別的...
- 語言與機器:計算機科學理論導論
第5章 有限自動機 5.1 一個有限狀態自動機 5.2 確定型有限自動機 5.3 狀態圖和例子 5.4 非確定型有限自動機 5.5 λ-轉換 5.6 去掉非確定性 5.7 DFA的最小化 5.8 練習 參考文獻注釋 第6章 正則語言的性質 6.1 有限狀態機接收正則語言 6.2 表達式圖 6.3 正則文法和有限自動機 6.4 正則語言...
- 人工智慧複雜問題求解的結構和策略(原書第6版)
3.1.2有限狀態自動機（選讀）3.1.3問題的狀態空間表示 3.2用於狀態空間搜尋的策略 3.2.1數據驅動搜尋和目標驅動搜尋 3.2.2圖搜尋的實現 3.2.3深度優先搜尋和寬度優先搜尋 3.2.4疊代加深的深度優先搜尋 3.3利用狀態空間來表示命題演算和謂詞演算的推理 3.3.1邏輯系統的狀態空間描述 3.3.2與或圖 3....
- 洗衣機(利用電能產生機械作用來洗滌衣物的清潔電器)
價格便宜，500左右，結構簡單，省水，省電，重量輕，操作方便，洗淨率高，噪音小，易搬動，單次洗衣時間較節省（10分鐘左右），但體積大，還不省力，你得一直盯著，而且衣物易纏繞，漂洗衣物不均勻，對衣物的磨損率高，還有一個缺點是甩乾桶容量有限，一些大件衣物可能盛不下。全自動波輪洗衣機 全自動波輪洗衣機---...
- 單向函式
此後，人們又嘗試過很多種單向函式的設計方法，比如利用背包問題、糾錯碼問題、因子分解問題、離散對數問題、有限自動機合成問題等，但當前除了離散對數和因子分解問題，其他陷門單向函式都被證明存在安全缺陷或者因為其複雜性不能歸約到某個困難問題而無法得到廣泛的認可。基於離散對數問題的密碼體制主要有數字簽名標準（DSS...
- 自然語言結構計算 GPF結構分析框架
第6章 GPF有限狀態自動機 6．1 概述 142 6．1．1 形式化定義 142 6．1．2 主要功能 144 6．2 FSA文法 144 6．2．1 FSA腳本 144 6．2．2 FSA文法規定 146 6．2．3 文法編譯 149 6．3 FSA 運行機制 150 6．3．1 配置 150 6．3．2 匹配入口節點 158 6．3．3 前後雙向匹配 160 6...
- 密碼學——基礎理論與套用
5.2.2 有限狀態自動機 84 5.3 LFSR 84 5.3.1 LFSR的簡介 84 5.3.2 偽隨機序列 87 5.3.3 線性反饋移位暫存器LFSR序列 88 5.3.4 非線性序列 96 5.4 歐洲eSTREAM序列密碼 97 5.5 序列密碼的安全性及分析技術 99 5.6 序列密碼算法的未來發展趨勢 102 5.7 本...
- 食品包裝機械
目前國內生產此類機械的廠家100多家，年產量達1500萬台。僅一包裝設備有限公司也是一家生產包裝機械的公司，生產的機型以單列、四邊封袋型為主。制袋、充填、封口包裝機械的發展趨勢為模組式結構、多列高速、高穩定性、傳動機械簡單，自適應閉環控制。加工設備 國金屬包裝容器加工機械的生產製造業已初具規模，此類產品...
- 人群疏散的實測和基於耦合社會場的微觀模擬
（4）我們採用基於背景場的元胞自動機模型研究了人行橫道上的雙向行人流的自組織現象，其中行人之間的長程相互作用通過引入了行人視野。數值模擬表明，該模型可以快速地再現成行現象，與實際觀測相符。（5）基於背景場元胞自動機模型，我們提出一種改進的背景場計算方法，將行人當作可移動的障礙物。首先套用改進的...
- 交通工程基礎方法論
《交通工程基礎方法論》是2017年人民交通出版社股份有限公司出版的圖書。內容簡介 《交通工程基礎方法論》從方法論的角度系統介紹了交通工程專業需要掌握的理論和方法。全書共分10章，包括系統工程方法論、控制論、交通流基礎理論、交通流的統計分析方法、車輛跟馳理論、連續交通流模型、排隊理論、元胞自動機模型、系統...
- 包裝機械(機械術語)
2．開發多種樹脂雙向位伸機組、生產線，主要更換擠出蛔桿，擴大對模唇的粗調範圍，根據各種樹脂的性能設計長徑比、雙向拉伸比等有關機械裝置。3．開發多種塗布機，既能作刮刀塗布，也能作氣刀塗布與計量塗布，同時可作各種塗料的不同塗層，對塗層厚度可作精調。4．開發多功能印刷機，既能作膠印、也能作凹印和...
- 基於多核處理器的高性能深度數據包檢測技術研究
而對於包內容檢測，先後提出了一種智慧型有限狀態自動機和一種基於多步長索引表的自動機結構來實現時空高效的正則表達式匹配。此外，對於包檢測算法中常用到的布魯姆過濾器，提出了一種高精度的多分割計數布魯姆過濾器和一種基於分層結構的高精度布魯姆過濾器，在有效降低假陽性的同時還實現了處理性能的提升。基於上述結構和...
- 黃昆(中國科學院計算技術研究所副研究員)
8. 張大方, 張潔坤, 黃昆. 一種基於智慧型有限自動機的正則表達式匹配算法, 電子學報 科研項目 1. 國家自然科學基金青年項目,虛擬化路由器的可伸縮數據包查找技術研究 2. 國家科技重大專項子課題, 移動網際網路IPv6安全框架研究及管控系統試驗 3. 國家自然科學基金重點項目, 後IP網路體系結構及其機理探索 4. 國家...
- 文永蓬
] 上海市選拔優秀青年教師專項基金, “基於元胞自動機的城市軌道車輛車輪疲勞磨損機理研究”(gjd10010, 2011.1-2012.12, 3萬), 主持人, 已結題 入選人才項目 [1] 江蘇省人才辦/江蘇省科技廳, “科技副總”項目（FZ20210636, 2021）著作 [1] 文永蓬. 城市軌道交通車輛結構與原理[M]. 中國鐵道出版社有限...
- 離散數學結構:理論與套用
…第三章 關係與偏序集 第四章 矩陣與關係閉包 第五章 函式 第六章 同餘 第七章 計數原理 第八章 遞歸關係 第九章 算法與時間複雜度 第十章 圖論 第十一章 樹與網路 第十二章 布爾代數與組合電路 第十三章 有限自動機與語言 附錄 部分習題答案與提示 符號表 參考文獻 作者簡介 作者:(美)D.S.MALIK ...
- 人行設施出入口高密集人群疏散行為和管理對策研究
本項目將研究行人在高密集情形下的有限理性運動行為和安全通行策略。一方面通過細化行人占據空間，量化行人的接觸推擠作用力，建立耦合推力場的加細格線費用勢函式場元胞自動機模型，模擬高密度行人流的過度擁擠、倒地現象，探究行人之間的微觀作用機理；另一方面利用模型檢測和警示高密度點，採用實時開關入口限流，結合...
