1、正則語言：能夠由有窮自動機接受的語言。
2、正則運算：設ab是兩個語言，則a和b的並、連線以及星號運算均為正則運算。
3、引理：正則運算對補封閉。證明要點：乙個有窮自動機識別語言的補集是將終結符號在符號集上取補。
4、定理：正則語言對正則運算封閉。證明法一：根據兩個正則語言a、b對應的dfa構造新的dfa。法二：構造相應nfa。
5、nfa包括兩點變化：下乙個狀態可以不唯一確定和空移動。
6、nfa和dfa識別同樣的語言（正則語言）。證明方法：每個nfa均能夠構造出等價的dfa。構造方法1：設nfa有k個狀態，寫出所有的2^k個狀態作為dfa的狀態，然後新增轉移，標註初始和終止狀態，最後將不可達狀態刪除。2、從nfa的開始符號的epsilon閉包開始求在nfa上轉移得到的新狀態，對於新出現的狀態迭代求解可以得到對應的dfa。
有窮自動機
problem description adfa 證明 adfa是可判定的。實驗方法 編寫乙個演算法 程式，對於任意給定的輸入，可以判定adfa。input 有多個測試序列，測試結束於測試檔案結束 每個測試序列的第一行為幾個正整數n m t a分別表示有n個狀態，從a開始m個小寫字母組成的字符集，第...
有窮狀態自動機
有窮狀態自動機 fa finite automaton 是乙個五元組 m q,q0,f q 狀態的非空有窮集合.q q，q稱為m的乙個狀態.輸入字母表.狀態轉移函式,有時又叫作狀態轉換函式或者移動函式,q q,q,a p.q0 m的開始狀態,也可叫作初始狀態或啟動狀態.q0 q.f m的終止狀態集合...
詞法分析 有窮自動機
1.有窮自動機的概念 有窮自動機 fa 是詞法分析的重要理論基礎。系統根據自己的有窮狀態和離散的輸入資訊決定系統的後序行為。每處理乙個輸入，系統內部狀態也可能發生改變。其轉換圖表示法如下所示 其中start指向的表示初始態，箭頭上面的表示輸入，有向邊就是變化，圓圈內表示狀態。多加了乙個圈 雙圈，狀態...