編譯原理(二)確定有限自動機

一、確定有限自動機 1. 確定有限自動機的定義 ⚠️注意這裏說的是終止狀態集,即終止狀態不唯一 包含定義:字符集(圈中內容)、狀態集(圓圈)、狀態轉移函數(箭頭)、初始狀態S、終止狀態集(同心圓) 2. DFA的確定性 2的解釋:一個狀態接收一個符號得到一個值(相當於函數的一一映射) 3. DFA的表示 狀態轉移矩陣 二元函數直接填寫對應的數值;要滿足表示5元組,初始和終止要單獨表示出來。無值地方
相關文章
相關標籤/搜索