对NFA的考量是困难的,对DFA的考量则是无比清晰的。对于一个NFA,总存在一个与其等价的DFA。这里"等价"指的是这两个有穷自动机的正规集是相同的。
ε-closure(…)和more(…,…)
在NFA中,ε-closure(A)指的是从状态A经若干ε弧能达到的状态,也包括A自己。more({A,B,C},a)指的是所有从{A,B,C}里的状态经过一次a弧所能到达的状态。
从NFA构造等价DFA
注意,因为从NFA构造等价DFA的时候,其中的状态会出现新的,不妨把NFA中的状态用数字表示,把构造出的等价DFA中的状态用大写字母表示。
先作初态扩张,因为NFA可能有多个初态,而DFA只可以有一个初态,所以要把NFA所有的初态放在一个集合里,并求这个集合的ε-closure得到等价的DFA的初态。
观察知这个有限自动机上的状态转移弧可以是a或者b,所以从得到的DFA的初态(NFA初态的ε-closure),要看其走a(走b)能到达哪些NFA状态,即先求它们对a(对b)的more再对得到的more求ε-closure,这些NFA状态放在一个集合里也就是走a(走b)到的DFA状态,对于新产生的DFA状态,再用同样的方法向下走,直到没有新的状态产生为止。
为了清晰,为产生的DFA状态署名,这样后面画DFA状态图也好画。如上图那个NFA构造出的DFA状态转移的矩阵表示:
从上表即可得出转换后的DFA,注意带有原来NFA中终态的DFA状态都是终态:
此外可以将FA的多余状态去掉,即从开始状态出发经过任何输入串也无法到达的状态,这样的状态不具有识别价值。
对DFA的化简
得到DFA之后,去除冗余状态,但这样的自动机中还是可能会有本质上重复的状态,会干扰对DFA的探究。如有DFA:
在考量等价的状态时,不用去管是不是初始状态。首先,因为非终态和终止状态一定不可能是等价的状态,所以暂时可以划分成这样的两组状态:{q1,q2},{q0,q3}
然后再分别对组内的状态转移进行审查,在第一组中:
(q1,1)->q0 (q2,1)->q3
(q1,0)->q3 (q2,0)->q0
只要状态转移也全部等价,那么两个状态就是等价的。所以要只要q1和q2是否真的等价,从上面的审查中可以看出只要去看q0和q3是否等价,这正好是要审查的第二组状态:
(q0,1)->q1 (q3,1)->q2
(q0,0)->q2 (q3,0)->q1
可以看出,q3和q0是否等价又取决回q1和q2是否等价。当构成这样的互相依赖的情况时,只要认为一方等价,则可以为两方各自等价。因此可以划分出两个新的状态:
A={q1,q2} B={q0,q3}
包含了之前的终止状态的新状态是新的终止状态,包含了之前的起始状态的新状态是起始状态,所以终止状态是B,起始状态是B,故化简后的DFA是: