計算機控制系統的控制程式具有有限狀態自動機(FA)的特徵,可以用有限狀態機理論來描述。有限自動機(Finite Automata Machine)是計算機科學的重要基石,它在軟體開發領域...
自動機理論是一種將離散數學系統的構造,作用和關係作為研究對象的數學理論。在理論計算機科學中,自動機理論是對抽象機和它們能解決的問題的研究。自動機理論密切關聯...
有限自動機(finite automata)亦稱時序機,有限離散數字系統的抽象數學模型。一個有限自動機M由五元組(X,Y,S,δ,λ)給定,其中X,Y和S都是非空有限集,分別稱為M...
抽象自動機是—種能夠識別語言的抽象裝置,它不是具有物理實體的機器,而是表示計算機運算方式的抽象的邏輯關係系統,這樣的抽象自動機可以用來檢驗輸入的符號串是不是...
有限狀態自動機(FSM "finite state machine" 或者FSA "finite state automaton" )是為研究有限記憶體的計算過程和某些語言類而抽象出的一種計算模型。有限狀態自動機...
自動機編程(英語:Automata-based programming)是編程典範中的一種,是指程式或其中的部份是以有限狀態機(FSM)為模型的程式,有些程式則會用其他型式(也更複雜)的...
自動機論是研究離散數字系統的功能和結構以及兩者關係的數學理論。可分為有限自動機論、無限自動機論、機率自動機論、細胞自動機論、抽象自動機論 五個次級學科。....
Aho-Corasick automaton,該算法在1975年產生於貝爾實驗室,是著名的多模匹配算法。要學會AC自動機,我們必須知道什麼是Trie,也就是字典樹。Trie樹,又稱單詞查找樹或...
細胞自動機(cellular automata)是為模擬包括自組織結構在內的複雜現象提供的一個強有力的方法,也稱為元胞自動機(Cellular Automaton)。細胞自動機模型的基本思想是:...
元胞自動機(cellular automata,CA) 是一種時間、空間、狀態都離散,空間相互作用和時間因果關係為局部的格線動力學模型,具有模擬複雜系統時空演化過程的能力。...
在數學和計算機科學中,機率自動機(Probabilistic Automaton,PA)是非確定性有限自動機的推廣; 它包括給定轉換到轉換函式的機率,將其轉換為轉換矩陣。 因此,機率自動機...
有窮自動機的每一步操作都是確定的,因此可稱為確定型有窮自動機。確定有窮自動機就是說當一個狀態面對一個輸入符號的時候,它所轉換到的是一個唯一確定的狀態...
學習自動機(Learning Automata)是通過與隨機環境不斷的互動來調整自己,也就是說,其通過與環境不斷的交流獲得經驗用來改善自己的行為,從而在可選擇的動作中選擇在該...
下推自動機﹙PDA﹚是自動機理論中定義的一種抽象的計算模型。下推自動機比有限狀態自動機複雜:除了有限狀態組成部分外,還包括一個長度不受限制的棧;下推自動機的...
有窮自動機,或有窮狀態的機器,是描述(或“機器”)特定類型算法的數學方法。特別地,有窮自動機可用作描述在輸入串中識別模式的過程,因此也能用作構造掃描程式。...
在數學和計算機科學中,半自動機或M-act是么半群在集合上的乘法性運算。從代數結構的觀點來看,它非常接近於群作用的概念。從計算機科學的觀點來看,它是只有輸入沒...
《自動機與生產線》是2004年1月1日科學出版社出版的圖書。本書可作為高職高專機電一體化專業、機電設備維修與管理專業、機械設計製造及自動化專業以及電氣自動控制...
在計算理論中,確定有限狀態自動機或確定有限自動機(英語:deterministic finite automation, DFA)是一個能實現狀態轉移的自動機。對於一個給定的屬於該自動機的狀態和...
確定有窮自動機:(DFA)D是一個五元組:D=(K,Σ,M,S,F)其中K:有窮非空的狀態集合;Σ:有窮非空的輸入符號字母表;M:轉換函式,是在K×Σ→K上的映像,即...
《自動機與自動線(第2版)》是出版的圖書,作者是李紹炎。...... 自動機與自動線(第2版)圖書簡介 編輯 本書結合目前國內自動機械行業的現狀,從套用的角度系統介紹...
《形式語言與自動機》以四類形式語言(短語結構語言、上下文有關語言、上下文無關語言、正則語言)和四種自動機(有窮自動機、下推自動機、圖靈機、線性有界自動機)...
《自動機理論與套用》是2009年清華大學出版社出版的圖書,作者是里奇。...... 《自動機理論與套用(影印版)》闡述了計算科學的優美理論基礎,通過演示計算理論在現代硬...
《有限自動機理論》是2007年電子科技出版社出版的圖書,作者是陳文宇。...... 《有限自動機理論》簡述了形式語言的基本內容,包括文法的分類和語言間運算的封閉性,有限...
有窮自動機的每一步操作都是確定的,因此可稱為確定型有窮自動機。如果允許在每一步上讀頭的內部狀態可在幾個狀態中任取,即δ 之值為內部狀態之集合(而不是...
邏輯思維自動機是幫助人類進行邏輯思維的機器.該自動機具有正向和逆向邏輯思維的功能. 正向邏輯思維: 從己知條件求取合乎邏輯的結果. 逆向邏輯思維: 從部分己知...
在自動機理論(計算機科學的一個分支)中,確定有限狀態自動機最小化是將給定的確定有限狀態自動機(DFA, Deterministic Finite Automaton)改造為等價且擁有最少狀態的...
John von Neumann在提出一種自我複製的元胞自動機, 1948年,他首先開始構造這種自動機,或者說是一種機械結構,它具有通用性,即無論在原湯里(產生生命的海洋)放入...
《自動機與自動線》是李紹炎編著,由清華大學出版社於2007年2月1日出版的書籍。本書適於用作本科院校和高職高專院校機械設計製造與自動化、機電一體化等機電類相關...
大連東洋自動機包裝設備有限公司於2011年01月11日在大連金普新區市場監督管理局登記成立。法定代表人北村明義,公司經營範圍包括製造包裝專用設備以及零部件、自動計量...
格氣自動機(latticegasautomata)亦稱格氣模型.20世紀80年代取得重大進展的利用計算機模擬流體運動的一類新方法.它的原理完全不同於對納維一斯托克斯方程進行離散處理的...