有窮狀態自動機的物理模型
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的二元...