1 狀態(tài)轉換圖要求:狀態(tài)(結點)個數(shù)有限、至少一個初始狀態(tài),若干終止狀態(tài)、每條邊上標有字符(可為空字符) *即舍棄多讀的字符 確定的有限自動機(DFA)五元組: 2 表達式