Formal Languages and Automata Theory--第四章--课件.pptVIP

4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.3.3 　 　 　 4.4 　 　 　 4.4 　 　 　 4.4 　 　 　 4.4 　 　 　 4.4 　 　 　 4.5 NFA的确定化-----子集法　　 一、相关运算 1. 状态集合I的?—closure（I），定义为一状态集，是状态集I中的任何状态S经任意条?弧而到达的状态的集合。 2. 状态集合I的a弧转换，表示为move（I，a）定义为状态集合J，其中J是所有那些可从I中的某一状态经过一条弧而到达的状态的全体。 二、构造算法 由NFA M=（K，?，f，S0，Z）构造一等价的DFA M’=（Q，?，?，I0，F）算法如下： （1）取 I0= ?--closure（S0） （2）若状态集Q中有尚未标记的状态Ii =[s0，s1 ，s2，…sj]，sk?K，0?k?j，则标记之，且有?（[s0，s1 ，s2，…sj]，a）=[ r0，r1 ，r2，…rt]= It，其中It=?--closure（move[s0，s1 ，s2，…sj]，a））若It不在Q中，则将It加入Q中。 4.5 NFA的确定化-----子集法　　 （3）重复（2），直至Q中不再有新的状态加入为止； （4）取F={I?I?Q且I?Z??} 例：把下列自动机化为DFA Algorithm: Construct of DM , a DFA Equivalent to NFA- ? M input: an NFA- ? M=(Q,∑δ,q0,F) input transition function t of M 1.Initialize Q’ to {?-closure(q0)} 2. Repeat 2.1 if there is a node X∈ Q’ and a symbol a∈∑ with no arc leaving X labeled a then 2.1.1 let Y= 2.1.2 if Y? Q’ then set Q’= Q’∪{Y} 2.1.3 add an arc from X to Y labeled a else done:=true until done 3. The set of accepting states of DM is F’={X∈ Q’|X contains an element qi∈F} * Formal Languages and Automata Theory 第四章　 　 　 4.1 　 　 　 4.1 　 　 　 4.1 　 　 　 4.1 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 　 4.2 　 　 例：已知字母表｛a,b}，试构造其上的DFA （1）以aa打头的所有符号串的集合。 （2）以aa结尾的所有串的集合。 （3）每个a有一个也仅有一个a紧跟其后的所有串的集合。 （4）每个a有一个至少有一个b紧跟其后的所有串的集合。 （5）至少包含一个a且 每个a都有b紧跟其后的所有串的集合。 4.3 　 　 　 4.3 　 　 　 4.3.1 　 　 　 4.3.2 　 　 　 4.3.2 　 　 　 4.3.2 　 　 　 4.3.2 　 　 　 *