確定有限自動機DFA和非確定有限自動機NFA

確定自動機DFA 定義： 兩種表示方式 狀態轉換圖 三種節點：終止狀態，非終止狀態，開始狀態 邊：狀態轉換函數 舉例： 狀態轉換矩陣 概括：用二維數組的方式表示狀態機 注意：右上角+號代表初始狀態，右上角*號表示終止狀態 舉例： 陷阱狀態（錯誤狀態） 狀態圖表現爲非終止節點，有自己指向自己的狀態轉換函數 狀態轉換矩陣表現爲對應元素爲空 DFA的確定性體現 初始狀態唯一 狀態轉換函數爲單值函數 沒有

>>阅读原文<<