編譯原理結構圖
㈠ 編譯原理由正規式構造DFA
先畫出NFA，如圖：（我就是傳說當中的靈魂畫師）
這個DFA本身就已經是最簡的了，無法再簡化，最簡化過程我就直接省了
㈡ 編譯原理——LR分析表
自底向上的語法分析
LR分析表的結構如上，其分為兩個部分 Action Goto
兩個參數狀態i，終結符號a（s(i)代表第i個狀態，r(i)代表第i條表達式）
Goto[i,A]=j
文法
容易得知這個文法可以推出 0 1 00 01 等的字元串。因為它是 左遞歸 。不適用於 LL 文法分析，只能使用 LR 分析。
因為本題入口有兩個—— S → L·L S → L ，所以需要構造額外的產生式 S'->S
2.1 第一次遍歷
我們從 [S -> . L·L] 開始，構造這個狀態的閉包，也就是加上所有能從這個產生式推出的表項。
首先，判斷 . 後面是否為 非終結符號A 。如果是，那我們就得找所有由 A-> 推出的產生式，並將它們添加進入 閉包 里(也就是State包里)。循環做即可。
因此我們可以得到 State 0 有
下一步，就是我的 . 往下一位移動。對每個符號X後有個 . 的項，都可以從 State 0 過渡到其他狀態。
由以上6條式子可以得知下一位符號可以是 S L B 0 1 。所以自然可以得到5個狀態。
State 1 是由 State 0 通過 S 轉移到這里的，所以我們找出所有 State 0 中在 S 前有 . 的項。
此狀態作為結束狀態 Accept ，不需要繼續狀態轉移了。
State 2 是由 State 0 通過 L 轉移到這里的，所以我們找出所有 State 0 中在 L 前有 . 的項。
S -> . L·L S -> . L L -> . LB
有3條式子，現在我們將 . 向後推一格，就得到 State 1 的項了。
但是 . 之後的符號分別是 · $ B ， B 為非終結符號，我們得包含 B -> 的項
State 3 是由 State 0 通過 B 轉移到這里的，所以我們找出所有 State 0 中在 B 前有 . 的項。
因為 . 後沒有其他符號了，因此這個狀態不需要繼續轉移了。
State 4 是由 State 0 通過 0 轉移到這里的，所以我們找出所有 State 0 中在 0 前有 . 的項。
因為 . 後沒有其他符號了，因此這個狀態不需要繼續轉移了。
很簡單，同樣的道理找 State 5
State 5 是由 State 0 通過 1 轉移到這里的，所以我們找出所有 State 0 中在 1 前有 . 的項。
因為 . 後沒有其他符號了，因此這個狀態不需要繼續轉移了。
好的，現在我們第一次遍歷完成。
2.2 第二次遍歷
第二次遍歷自然從 State 2 開始。
我們回到 State2 ，可以看出 . 之後的符號有 · B 0 1 。
State 6 是由 State 2 通過 · 轉移到這里的，所以我們找出所有 State 2 中在 · 前有 . 的項。
S -> L. ·L 只有1條，我們往後移發現 L 又為非終結符號，參考 State 0 做的操作，我們得找出所有的式子。
共有5條式子，共同組成 State 6 ，由上面的式子可以看出我們還得繼續下一次遍歷。先不管著，我們進行下一次狀態查找。
State 7 是由 State 2 通過 B 轉移到這里的，所以我們找出所有 State 2 中在 B 前有 . 的項。
L -> L. B 也是只有1條，我們往後移發現沒有非終結符號了，那就不需要再繼續添加其他式子了。
這個狀態也不需要繼續進行轉移了。
接下來很關鍵，因為我們通過 State2 的 . 後的符號找出了 State 6 State 7 ，接下來還差符號 0 1 ，那麼是否像之前一樣按例添加狀態呢， 答案是不是的 ，因為我們發現通過 0 1 找到的閉包集分別是 B -> 0 B -> 1 ，這與我們的之前的 State 4 State 5 相同。所以我們得將其整合起來，相當於 State 2 通過 0 1 符號找到了 State 4 State 5 狀態。
2.3 第三次遍歷
回頭看第二次遍歷，可以看出只有 State 6 可以進行狀態轉移了。
那麼就將 State 6 作為第三次遍歷的源頭，可以看出 . 之後的符號有 L B 0 1 。
State 8 是由 State 6 通過 L 轉移到這里的，所以我們找出所有 State 6 在 L 前有 . 的項。
S -> L· .L L -> . LB 有兩條式子，往後移發現有非終結符號 B ，所以經過整合可以得到
可以看出 . 的後面還有一個符號，所以這里我們還得再進行一次遍歷。
接下來，又是遇到重復的包的情況，可以看出我們由 State 6 通過 B 0 1 得到的閉包分別是 L->B B->0 B->1 ，很明顯，這分別對應於 State 3 State 4 State 5 。
第三次遍歷也就結束了。
2.4 第四次遍歷
回看第三次遍歷，可以看出只有 State 8 可以進行狀態轉移，其 . 之後的符號分別是 B 0 1 。
誒，感覺很熟悉，就是上面幾行剛說的情況，也就是說通過這三個符號找到的閉包是我們之前遇到的狀態，分別是 State 3 State 4 State 5 。
做到這里，我們發現我們已經全部遍歷完畢！
總共有8個狀態，通過以上流程做成個圖是什麼樣子的？來看看！
這么一看就很清晰明了了，我們就可以通過這個圖做出我們的 LR分析表
其實就是我們之前呈現的表
在狀態 I2 和 I8 中，既有 移入 項目，也有 規約 項目，存在 移入 - 規約的沖突 ，所以不是 LR(0) 文法，但是因為 FOLLOW(S) ∩ {0, 1} = ∅，所以可以用 FOLLOW 集解決沖突，所以該文法是 SLR(1) 文法。
上表我們發現還有 r1，r2，r3 等。這個其實就是代表狀態停止轉移時為 第幾條表達式 ，r3代表第三條表達式 L -> LB 。
當我們構建了表之後，我們如何運用起來呢？
下面我們通過一個例子來說明
以上字元串是如何被SLR分析器識別的呢？
㈢ 編譯原理
編譯原理)：利用編譯程序從源語言編寫的源程序產生目標程序的過程； 用編譯程序產生目標程序的動作。 編譯就是把高級語言變成計算機可以識別的2進制語言，計算機只認識1和0，編譯程序把人們熟悉的語言換成2進制的。
編譯程序把一個源程序翻譯成目標程序的工作過程分為五個階段：詞法分析；語法分析；語義檢查和中間代碼生成
(3)編譯原理結構圖擴展閱讀：
編譯程序的語法分析器以單詞符號作為輸入，分析單詞符號串是否形成符合語法規則的語法單位，如表達式、賦值、循環等，最後看是否構成一個符合要求的程序，按該語言使用的語法規則分析檢查每條語句是否有正確的邏輯結構，程序是最終的一個語法單位。
編譯程序的語法規則可用上下文無關文法來刻畫。語法分析的方法分為兩種：自上而下分析法和自下而上分析法。自上而下就是從文法的開始符號出發，向下推導，推出句子。
而自下而上分析法採用的是移進歸約法，基本思想是：用一個寄存符號的先進後出棧，把輸入符號一個一個地移進棧里，當棧頂形成某個產生式的一個候選式時，即把棧頂的這一部分歸約成該產生式的左鄰符號。
㈣ C語言編譯原理
編譯共分為四個階段：預處理階段、編譯階段、匯編階段、鏈接階段。
1、預處理階段：
主要工作是將頭文件插入到所寫的代碼中，生成擴展名為「.i」的文件替換原來的擴展名為「.c」的文件，但是原來的文件仍然保留，只是執行過程中的實際文件發生了改變。（這里所說的替換並不是指原來的文件被刪除）
2、匯編階段：
插入匯編語言程序，將代碼翻譯成匯編語言。編譯器首先要檢查代碼的規范性、是否有語法錯誤等，以確定代碼的實際要做的工作，在檢查無誤後，編譯器把代碼翻譯成匯編語言，同時將擴展名為「.i」的文件翻譯成擴展名為「.s」的文件。
3、編譯階段：
將匯編語言翻譯成機器語言指令，並將指令打包封存成可重定位目標程序的格式,將擴展名為「.s」的文件翻譯成擴展名為「.o」的二進制文件。
4、鏈接階段：
在示例代碼中，改代碼文件調用了標准庫中printf函數。而printf函數的實際存儲位置是一個單獨編譯的目標文件（編譯的結果也是擴展名為「.o」的文件），所以此時主函數調用的時候，需要將該文件（即printf函數所在的編譯文件）與hello world文件整合到一起，此時鏈接器就可以大顯神通了，將兩個文件合並後生成一個可執行目標文件。
㈤ 編譯詳細資料大全
編譯(compilation , compile) 1、利用編譯程式從源語言編寫的源程式產生目標程式的過程。 2、用編譯程式產生目標程式的動作。 編譯就是把高級語言變成計算機可以識別的2進制語言，計算機只認識1和0，編譯程式把人們熟悉的語言換成2進制的。 編譯程式把一個源程式翻譯成目標程式的工作過程分為五個階段：詞法分析；語法分析；語義檢查和中間代碼生成；代碼最佳化；目標代碼生成。主要是進行詞法分析和語法分析，又稱為源程式分析，分析過程中發現有語法錯誤，給出提示信息。
編譯語言是一種以編譯器來實現的程式語言。它不像直譯語言一樣，由解釋器將代碼一句一句運行，而是以編譯器，先將代碼編譯為機器碼，再加以運行。理論上，任何程式語言都可以是編譯式，或直譯式的。它們之間的區別，僅與程式的套用有關。
基本介紹
- 中文名 ：編譯
- 外文名 ：compilation
- 學科 ：計算機科學
- 用途 ：編譯程式
- 解釋 ：編寫的源程式產生目標程式的過程
- 領域 ：編譯原理
編譯程式
將某一種程式設計語言寫的程式翻譯成等價的另一種語言的程式的程式, 稱之為編譯程式(compiler) .詞法分析
詞法分析的任務是對由字元組成的單詞進行處理，從左至右逐個字元地對源程式進行掃描，產生一個個的單詞符號，把作為字元串的源程式改造成為單詞符號串的中間程式。執行詞法分析的程式稱為詞法分析程式或掃描器。 源程式中的單詞符號經掃描器分析，一般產生二元式：單詞種別；單詞自身的值。單詞種別通常用整數編碼，如果一個種別只含一個單詞符號，那麼對這個單詞符號，種別編碼就完全代表它自身的值了。若一個種別含有許多個單詞符號，那麼，對於它的每個單詞符號，除了給出種別編碼以外，還應給出自身的值。 詞法分析器一般來說有兩種方法構造：手工構造和自動生成。手工構造可使用狀態圖進行工作，自動生成使用確定的有限自動機來實現。語法分析
編譯程式的語法分析器以單詞符號作為輸入，分析單詞符號串是否形成符合語法規則的語法單位，如表達式、賦值、循環等，最後看是否構成一個符合要求的程式，按該語言使用的語法規則分析檢查每條語句是否有正確的邏輯結構，程式是最終的一個語法單位。編譯程式的語法規則可用上下文無關文法來刻畫。 語法分析的方法分為兩種：自上而下分析法和自下而上分析法。自上而下就是從文法的開始符號出發，向下推導，推出句子。而自下而上分析法採用的是移進歸約法，基本思想是：用一個暫存符號的先進後出棧，把輸入符號一個一個地移進棧里，當棧頂形成某個產生式的一個候選式時，即把棧頂的這一部分歸約成該產生式的左鄰符號。中間代碼
中間代碼是源程式的一種內部表示，或稱中間語言。中間代碼的作用是可使編譯程式的結構在邏輯上更為簡單明確，特別是可使目標代碼的最佳化比較容易實現中間代碼，即為中間語言程式，中間語言的復雜性介於源程式語言和機器語言之間。中間語言有多種形式，常見的有逆波蘭記號、四元式、三元式和樹。代碼最佳化
代碼最佳化是指對程式進行多種等價變換，使得從變換後的程式出發，能生成更有效的目標代碼。所謂等價，是指不改變程式的運行結果。所謂有效，主要指目標代碼運行時間較短，以及佔用的存儲空間較小。這種變換稱為最佳化。 有兩類最佳化：一類是對語法分析後的中間代碼進行最佳化，它不依賴於具體的計算機；另一類是在生成目標代碼時進行的，它在很大程度上依賴於具體的計算機。對於前一類最佳化，根據它所涉及的程式范圍可分為局部最佳化、循環最佳化和全局最佳化三個不同的級別。目標代碼
目標代碼生成是編譯的最後一個階段。目標代碼生成器把語法分析後或最佳化後的中間代碼變換成目標代碼。目標代碼有三種形式： ① 可以立即執行的機器語言代碼，所有地址都重定位； ② 待裝配的機器語言模組，當需要執行時，由連線裝入程式把它們和某些運行程式連線起來，轉換成能執行的機器語言代碼； ③ 匯編語言代碼，須經過匯編程式匯編後，成為可執行的機器語言代碼。 目標代碼生成階段應考慮直接影響到目標代碼速度的三個問題：一是如何生成較短的目標代碼；二是如何充分利用計算機中的暫存器，減少目標代碼訪問存儲單元的次數；三是如何充分利用計算機指令系統的特點，以提高目標代碼的質量。表格管理
編譯過程中源程式的各種信息被保留在種種不同的表格，編譯各階段的工作都涉及到構造、查找、或更新有關的表格。 編譯程式的公共輔助部分。對源程式中的各種量進行管理，登記在相應的表格。編譯程式處理時通過查表得到所需的信息。出錯處理
如果編譯過程中發現源程式有錯誤，編譯程式應報告錯誤的性質和錯誤的發生的地點，並且將錯誤所造成的影響限制在盡可能小的范圍內，使得源程式的其餘部分能繼續被編譯下去，有些編譯程式還能自動糾正錯誤，這些工作由錯誤處理程式完成。 需要注意的是，一般上編譯器只做語法檢查和最簡單的語義檢查，而不檢查程式的邏輯。
㈥ 編譯原理筆記17：自下而上語法分析（4）LR(0)、SLR(1) 分析表的構造
（移進項目就是指圓點右邊是終結符的項目，規約項目指的就是圓點在右部最右端的項目）
LR(0) 文法可以直接通過識別活前綴的 DFA 來構造 LR 分析表
假定 C = {I 0 , I 1 , ... , I n } （aka. LR(0) 項目規范族、DFA 狀態集）
首先為文法產生式進行編號，拓廣文法的產生式要標記為 0（這里就是後面分析表中 rj 的產生式編號 j 的由來）
然後令每個項目集 I k 的下標 k 作為分析器的狀態（行首），包含 S' → .S 的集合下標為分析器的初態（也就是 DFA 的初態，一般都是 0 ）。
下面用一個例子來說明 ACTION、GOTO 子表的構造：
SLR(1) 為解決沖突提出了一個簡單的方法：通過識別活前綴的 DFA 和【簡單向前看一個終結符】構造 SLR(1) 分析表。
如果我們的識別活前綴的 DFA 中存在移進-規約沖突、規約-規約沖突，都可以嘗試使用這個方法來解決沖突。（這里說【嘗試】，當然是因為 SLR 也只能解決一部分問題，並不是萬能的靈丹妙葯。。）
這里，我們拿前面那個 LR(0) 解決不了的文法來舉例
該文法不是 LR(0) 文法，但是是 SLR(1) 文法。
觀察上圖 DFA 中的狀態2，想像當我們的自動機正處於這個狀態：次棧頂已經規約為 T 了，棧頂也是當前的狀態 2 ，而當前剩餘輸入為 *。
如果這個自動機不會【往前多看一步】的話，那麼對處於這個狀態的自動機來說，看起來狀態 2 中的移進項目和規約項目都是可選的。這就是移進-規約沖突。
想要解決這個沖突，就輪到【往前多看一步】上場了——把當前剩餘輸入考慮進來，輔助進行項目的選擇：
對其他的沖突也使用同樣的方法進行判斷。
這種沖突性動作的解決辦法叫做 SLR(1) 解決辦法
准備工作部分，與 LR(0) 分析表的構造差不多：同樣使用每個項目集的狀態編號作為分析器的狀態編號，也就同樣用作行下標；同樣使用拓廣文法產生式作為 0 號產生式。
填表也和 LR(0) 類似，唯一的不同體現在對規約項的處理方法上：如果當前狀態有項目 A → α.aβ 和 A → α. ，而次棧頂此時是 α 且讀寫頭讀到的是 a，那麼當且僅當 a∈FOLLOW(A) 時，我們才會用 A → α 對 α 進行規約。
如果構造出來的表的每個入口都不含多重定義（也就是如上圖中表格那樣的，每個格子裡面最多隻有一個動作），那麼該表就是該文法的 SLR(1) 表，這個文法就是 SLR(1) 文法。使用 SLR(1) 表的分析器叫做一個 SLR(1) 分析器。
任意的二義文法都不能構造出 SLR(1) 分析表
例：懸空 else
例：
這里的 L 可以理解為左值，R 可以理解為右值
經過計算可以確定其 DFA 如下圖所示。
在 狀態4 中，由於 "=" 同時存在於 FOLLOW(L) 與 FOLLOW(R) 中，因此該狀態內存在移進-規約沖突，故該文法不是 SLR(1) 文法。
這樣的非二義文法可以通過增加向前看終結符的個數來解決沖突（比如LL(2)、LR(2)）但這會讓問題更加復雜，故一般不採用。而二義文法無論向前看多少個終結符都無法解決二義性。
㈦ 編譯原理筆記9：語法分析樹、語法樹、二義性的消除
語法分析樹和語法樹不是一種東西 。習慣上，我們把前者叫做「具體語法樹」，其能夠體現推導的過程；後者叫做「抽象語法樹」，其不體現過程，只關心最後的結果。
語法分析樹是語言推導過程的圖形化表示方法。這種表示方法反映了語言的實質以及語言的推導過程。
定義：對於 CFG G 的句型，分析樹被定義為具有下述性質的一棵樹：
推導，有最左推導和最右推導，這兩種推導方式在推導過程中的分析樹可能不同，但因最終得到的句子是相同的，所以最終的分析樹是一樣的。
分析樹能反映句型的推導過程，也能反映句型的結構。然而實際上，我們往往不關心推導的過程，而只關心推導的結果。因此，我們要對 分析樹 進行改造，得到 語法樹 。語法樹中全是終結符，沒有非終結符。而且語法樹中沒有括弧
定義：
說白了，語法樹這玩意，就一句話： 葉子全是操作數，內部全是操作符 ，樹里沒有非終結符也不能有括弧。
語法樹要表達的東西，是操作符（運算）作用於操作數（運算對象）
舉倆例子吧：
【例】： -(id+id) 的語法樹：
【例】：-id+id 的語法樹：
顯然，我們從上面這兩個語法樹中，直接就能觀察出來它們的運算順序。
【例】：句型 if C then s1 else s2
二義性問題：一個句子可能對應多於一棵語法樹。
【例】： 設文法 G： E → E+E | E*E | (E) | -E | id
則，句子 id+id*id、id+id+id 可能的分析樹有：
在該例中，雖然 id+id+id 的 「+」 的結合性無論左右都不會影響結果。但萬一，萬一「+」的含義變成了「減法」，那麼左結合和右結合就會引起很大的問題了。
我們在這里講的「二義性」的「義」並非語義——我們現在在學習的內容是「語法分析器」，尚未到需要研究語言背後含義的階段。
我們現在講的「二義性」指的是一個句子對應多種分析樹。
二義性的體現，是文法對同一句子有不止一棵分析樹。這種問題由【句子產生過程中的某些推導有多於一種選擇】引起。懸空 else 問題就可以很好地體現這種【超過一種選擇】帶來的二義性問題，示例如下。
看下面這么個例子。。
（其實，我感覺這個其實比較像是「說話大喘氣」帶來的理解歧義問題。。。）上面的產生式中並沒體現出來該咋算分一塊，所以兩種完全不同的句子結構都是合法的。
二義性問題是有救的，大概有以下這三種辦法：
這些辦法的核心，其實都是將優先順序和結合性說明白。
核心：把優先順序和結合性說明白
既然要說明白，那就不能讓一個非終結符可以直接在當次推導中能推出會帶來優先順序和結合性歧義的東西。（對分析樹的一個內部節點，不會有出現在其下面的分支是相同的非終結符的情況。如果有得選，那就有得歧義了。沒得選才能確定地一路走到黑）
改寫為非二義文法的二義文法大概有下面這幾個特點：
改寫的關鍵步驟：
【例】改寫下面的二義文法為非二義文法。圖右側是要達成的優先順序和結合性
改寫的核心其實就兩句話：
所以能夠得到非終結符與運算的對應關系（因為不同的運算有不同的優先順序，我們想要引入多個優先順序就要引入多個新的非終結符。這樣每個非終結符就可以負責一個優先順序的運算符號，也就是說新的非終結符是與運算有關系的了。因此這里搞出來了「對應關系」四個字）如下：
優先順序由低到高分別是 +、 、-，而距離開始符號越近，優先順序越低。因此在這里的排序也可以+ -順序。每個符號對應一層的非終結符。根據所需要的結合性，則可確定是左遞歸還是右遞歸，以確定新的產生式長什麼樣子
【例】：規定優先順序和結合性，寫出改寫的非二義文法
我們已經掌握了一種叫做【改寫】的工具，能讓我們消除二義性。接下來我們就要用這個工具來嘗試搞搞懸空 else 問題！
懸空 else 問題出現的原因是 then 數量多於 else，讓 else 有多個可以結合的 then。在二義文法中，由於選哪兩個 then、else 配對都可以，故會引起出現二義的情況。在這里，我們規定 else 右結合，即與左邊最靠近的 then 結合。
為改寫此文法，可以將 S 分為完全匹配（MS）和不完全匹配（UMS）兩類。在 MS 中體現 then、else 個數相等即匹配且右結合；在UMS 中 then、else 不匹配，體現 else 右結合。
【例】：用改寫後的文法寫一個條件語句
經過檢查，無法再根據文法寫出其他分析樹，故已經消除了二義性
雖然二義文法會導致二義性，但是其並非一無是處。其有兩個顯著的優點：
在 Yacc 中，我們可以直接指定優先順序、結合性而無需自己重寫文法。
left 表示左結合，right 表示右結合。越往下的算符優先順序越高。
嗯就這么簡單。。。
我們其實可以把語言本身定義成沒有優先順序和結合性的。。然後所有的優先、結合都交由括弧進行控制，哪個先算就加括弧。把一個過程的結束用明確的標志標記出來。
比如在 Ada 中：
在 Pascal 中，給表達式加括弧：
㈧ 編譯原理的數據結構
編譯原理一直是計算機學習的必修課.
當然，由編譯器的階段使用的演算法與支持這些階段的數據結構之間的交互是非常強大的。編譯器的編寫者盡可能有效實施這些方法且不引起復雜性。理想的情況是：與程序大小成線性比例的時間內編譯器，換言之就是，在0 （ n ）時間內，n是程序大小的度量（通常是字元數）。本節將講述一些主要的數據結構，它們是其操作部分階段所需要的，並用來在階段中交流信息。 臨時文件（temporary file）：計算機過去一直未能在編譯器時將整個程序保留在存儲器中。這一問題已經通過使用臨時文件來保存翻譯時中間步驟的結果或通過「匆忙地」編譯（也就是只保留源程序早期部分的足夠信息用以處理翻譯）解決了。存儲器的限制現在也只是一個小問題了，現在可以將整個編譯單元放在存儲器之中，特別是在可以分別編譯的語言中時。但是偶爾還是會發現需要在某些運行步驟中生成中間文件。其中典型的是代碼生成時需要反填（backpatch）地址。例如，當翻譯如下的條件語句時 if x = 0 then ... else ... 在知道else部分代碼的位置之前必須由文本跳到else部分：
CMP X,0 JNE NEXT ;;
location of NEXT not yet known < code for then-part > NEXT : < code for else-part >
通常，必須為NEXT的值留出一個空格，一旦知道該值後就會將該空格填上，利用臨時文件可以很容易地做到這一點。
如果想利用上面的編譯原理開發一套屬於自己的編程語言，或者想在一個產品中嵌入編程語言，可以參考zengl開源網開發的zengl編程語言，該編程語言為國人使用C語言開發，裡麵包含兩個部分，一個是編譯器，一個是解釋執行中間代碼的虛擬機。編譯器包含了詞法掃描，語法分析，中間代碼輸出等，虛擬機則類似JAVA一樣解釋執行中間代碼。作者將所有的版本都公布出來，好讓讀者可以由淺入深的做研究，並且為了證明該編程語言的實用性，還結合SDL游戲開發庫開發了一款圖形界面和命令行界面的21點撲克小游戲 。
zengl編程語言目前適用平台為windows和linux (最開始在Linux下使用gcc開發，後來移植到windows平台)
㈨ ！！編譯原理DFA和NFA
DFA或NFA是對計算機程序的行為的抽象模型。你編寫的程序其實就對應了一個自動機。簡單舉例來說，如果a,b可以取值0或1; 程序： if(a==1) b=1; 這個程序對應了一個自動機。
對應的自動機就有狀態 (0,0), (0,1), (1,1), (1, 0)
比如你自動機的初始狀態是 (1,0)即a=1,b=0時，運行程序的下一個狀態就是(1,1)。
畫圖出來就是 這4個狀態作為頂點，並且有下面幾條邊
(0,0) --> (0,0)（自環）, (1,0)-->(1,1), (1,1)-->(1,1)（自環）, (0,1)-->(0,1)自環
存在的意義就是一種理論模型，也可以認為是一種編程思想。 詞法分析系也離不開 if else， 這一系列的if else和條件也就組成自動機。。。
最經典體現自動機思想的演算法就是KMP演算法，你肯定學過，字元串子串匹配的演算法。 回憶這個演算法的過程：演算法第一步構造的next表（數據結構教材的說法）其實就是根據子串的內容構造了一個自動機！ 演算法第二步將原串作為自動機輸入，自動機的輸出就是匹配到的子串位置或者無匹配。