DFA接受的字符串:對於å*中的任何字符串t,若存在一條從初始結點
到某一終止結點的路徑,且這條路上所有弧的標記符連接成的字符串等於t,則稱t可爲DFA M所接受(識別)。
狀態轉換表的形式:(數組T存放轉換函數)
1.當前狀態State置爲初始狀態
2.讀一個字符 à CurrentChar
3.如果CurrentChar¹Eof並且T(State,CurrentChar)¹error(表示當前狀態可以接受當前字符)
則當前狀態轉爲新的狀態T(State,Current),DFA接受的字符串
讀下一字符。重複第3步工作。
4.如果當前字符爲Eof並且當前狀態屬於終止狀態,則接受當前字符串,程序結束。否則報錯