有窮狀態自動機的物理模型
q——狀態的非空有窮集合。"q∈q，q稱為m的乙個狀態(state)。
∑——輸入字母表(input alphabet)。輸入字串都是∑上的字串。
q0——q0∈q，是m的開始狀態(initial state)，也可叫做初始狀態或者啟動狀態。
δ——狀態轉移函式(transition function)，有時候又叫做狀態轉換函式或者移動函式。δ：q×∑®q，對"(q，a)∈q×∑，δ(q，a)=p表示：m在狀態q讀入字元a，將狀態變成p，並將讀頭向右移動乙個帶方格而指向輸入字串的下乙個字元。
f——fíq，是m的終止狀態(final state)集合。"q∈f，q稱為m的終止狀態，又稱為接受狀態(accept state)。
下面是乙個有窮狀態自動機
q0——m的啟動狀態；
q1——m讀到了乙個0，這個0可能是子串「000」的第1個0；
q2——m在q1後緊接著又讀到了乙個0，這個0可能是子串「000」的第2個0；
q3——m在q2後緊接著又讀到了乙個0，發現輸入字串含有子串「000」；因此，這個狀態應該是終止狀態。
δ(q0,1)= q0——m在q0讀到了乙個1，它需要繼續在q0 「等待」可能是子串「000」的第1個0的輸入字元0；
δ(q1,1)= q0——m在剛剛讀到了乙個0後，讀到了乙個1，表明在讀入這個1之前所讀入的0並不是子串「000」的第1個0，因此，m需要重新回到狀態q0，以尋找子串「000」的第1個0；
δ(q2,1)= q0——m在剛剛發現了00後，讀到了乙個1，表明在讀入這個1之前所讀入的00並不是子串「000」的前兩個0，因此，m需要重新回到狀態q0，以尋找子串「000」的第1個0；
δ(q3,0)= q3——m找到了子串「000」，只用讀入該串的剩餘部分。
δ(q3,1)= q3——m找到了子串「000」，只用讀入該串的剩餘部分。
dfa圖:
m是乙個五元組
nfa和dfa之間是可以相互轉換的： 例
2將所示的nfa
對應的dfa
nfa的
轉換得到的nfa
形式語言與自動機複習 4 7
1.dfa轉正則語言 1.直接轉 需要注意的是，我們經常會處理到一p s p的情況，讓我們分析一下這個本質是什麼 可以把p看作p t看作p 那麼實際上 p s p 只會變成 p t p p 而p s q並沒有受到 p s t的影響 這也就是為什麼不會這麼迴圈的原因 如下 q0 q2 q0只會影響作用...
形式語言與自動機理論總結
一 圖形總結。重點 喬姆斯基體系 四大文法之間的關係 二 文字詳解。1，集合關係 並 交 補 差 笛卡爾積 冪積 二元關係 1 笛卡爾積 axb，即都分別對應的乘積。例1 1，a b 則 axb 2 冪積 2 a，即所有的子集。例1 2，a 則2 a 3 二元關係 任意的r a b，r 是a到b 的...
形式語言與自動機理論總結
一 圖形總結。重點 喬姆斯基體系 四大文法之間的關係 二 文字詳解。1，集合關係 並 交 補 差 笛卡爾積 冪積 二元關係 1 笛卡爾積 axb，即都分別對應的乘積。例1 1，a b 則 axb 2 冪積 2 a，即所有的子集。例1 2，a 則2 a 3 二元關係 任意的r a b，r是a到b的二元...