有限狀態自動機

2021-07-22 21:28:49 字數 1114 閱讀 4512

有限自動機是更一般化的狀態轉化圖。分為確定有限自動機(dfa)和不確定有限自動機(nfa)。

m =(s,∑,f,so,z)其中:

下圖為乙個確定的有限狀態自動機

m =(s,∑,f,so,z)其中:

下圖為乙個不確定的有限狀態自動機

說了半天其實它們的本質區別就在於s0,確定的有限狀態自動機的s0是唯一確定的。而不確定的有限狀態自動機的初態是乙個集合,即有多個初態。

就拿上面的這個nfa圖來舉例說明nfa向dfa的轉換方法

找出nfa的初態集

找出初態集中的每乙個初態分別通過0和1到達的狀態

將通過b找到的集合(此集合不能同初態一樣也不能為空)重新作為初態,繼續b

重複b,c直到沒有新的集合

將得到的狀態進行編號(這些狀態不能重複且不包括空狀態)

重新連線就是dfa了

本人認為 以上方法通過畫**的形式最容易解題了,以下是我做到d步時的**

e步:將得到的狀態進行編號

f步:將e中得到的結果連線起來得到dfa,

記住含有

e結點的還是終結點

因為nfa是一種狀態不確定的自動機,所以這種自動機不便機器實現;dfa是有限確定狀態的自動機,它的狀態轉換的條件都很確定,所以它比較方便機器實現,同時在識別能力也和nfa相當(相關的書中已經證明了每一種nfa都可轉換為同樣識別能力的dfa),所以轉換為dfa是更利於實現的

這就是我認識的有限自動機,如果**有不對的地方希望各位幫忙指出,謝謝啦

有限狀態自動機

有限自動機是更一般化的狀態轉化圖。分為確定有限自動機 dfa 和不確定有限自動機 nfa m s,f,so,z 其中 下圖為乙個確定的有限狀態自動機 m s,f,so,z 其中 下圖為乙個不確定的有限狀態自動機 說了半天其實它們的本質區別就在於s0,確定的有限狀態自動機的s0是唯一確定的。而不確定的...

有限狀態自動機

背景提要 星期三的時候,xw交給我乙個點燈的任務 大意是乙個玩意單擊的時候如何如何,長按又如何如何,雙擊又如何如何,幾種狀態分別執行不同的操作。這就導致了一種情況 在機器第一次檢測到按鈕被按下時,我們無法做出論斷 我們不知道這是一次雙擊還是長按還是單擊,我們只能靜觀其變,見機行事。但是按鈕被按下時,...

有限狀態自動機

有限狀態自動機 分為確定有限狀態自動機 dfa 和不確定有限狀態自動機 nfa 假設有字串 s x1 x2 x3 x4 xn 在轉移函式的驅動下,狀態轉移,如果當s中的所有字元被讀完,最終落在接受狀態上,則稱狀態機接收此字串。1.確定有限狀態自動機 dfa m s,f,so,z 其中 s是乙個有限狀...