1. DFA(Deterministic Finite automaton)

　　DFA就是确定的有限自动机，因为DFA和NFA关系密切，我们经常需要把他们拿到一起来讲，NFA可以转化成为一个DFA，DFA依然是一个数学model，它和NFA有以下区别

　　1.　　　　　　 不存在ε-transition，也就是说，不存在ε为input symbol的边

　　2.　　　　　　 对于move函数，move : (state, symbol) -> S，具体来说就是，一个状态和一个特定的input symbol，不会映射到2个不同的状态。这样的结果是，每个状态，关于每个特定的input symbol，只有一条出边

　　下图就是一个DFA：

　　接受语言(a|b)*ab，注意一下，接受语言(a|b)*ab的DFA我们前面见过，就是这张图：

　　2. DFA的行为

　　我们用一个算法来模拟DFA的行为

s　=　s0;
c　=　nextchar();
while(c　!=　EOF){
　　　　s　=　move(s,c);
　　　　c　=　nextchar();
}
if(s属于F)
　　　　return　"yes"
else
　　　　return　"no"

编缉推荐阅读以下文章

• 词法分析(6)---DFA的化简
• 词法分析(5)---从正规式到NFA
• 词法分析(4)---NFA与DFA的转化
• 词法分析(2)---NFA
• 词法分析(1)---词法分析的有关概念以及转换图
• 一个小语言的词法分析程序