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并且当前状态属于终止状态,则接受当前字符串,程序结束。否则报错