NFA的确定化(青年教师教学竞赛)综述.ppt

不确定的有穷自动机的确定化算法 闫新宝 b S U V Q a a a b a，b b DFA：确定的有穷自动机 NFA：不确定的有穷自动机 NFA确定化算法: 假设NFA N=(K, ?,f,K0,Kt)按如下办法构造一个DFA M=(S, ?,d,S0,St)，使得NFA N 与DFA M 等价。 1. M的状态集S由K的一些子集组成。用[S1 S2... Sj]表示S的元素，其中S1, S2,,... Sj是K的状态。并且约定，状态S1, S2,,... Sj是按某种规则排列的，即对于子集{S1, S2}={ S2, S1,}来说，S的状态就是[S1 S2]； 2 M和N的输入字母表是相同的，即是?； 3 转换函数是这样定义的： d([S1 S2,... Sj],a)= [R1R2... Rt] 其中 {R1,R2,... , Rt} = ?-closure(move({S1, S2,,... Sj},a)) 4 S0=?-closure(K0)为M的开始状态； 5 St={[Si Sk... Se]，其中[Si Sk... Se]?S且{Si , Sk,,... Se}?Kt??} 定义对状态集合I的几个有关运算： 1. 状态集合I的ε-闭包，表示为ε-closure(I)，定义为一状态集，是状态集I中的任何状态S经任意条ε弧而能到达的状态的集合。 状态集合I的任何状态S都属于ε-closure(I)。 2. 状态集合I的a弧转换，表示为move(I,a)定义为状态集合J，其中J是所有那些可从I中的某一状态经过一条a弧而到达的状态的全体。 状态集合I的有关运算的例子 I={1}, ?-closure(I)={1,2}； I={5}, ?-closure(I)={5,6,2}； move({1,2},a)={5,3,4} ?-closure({5,3,4})={2,3,4,5,6,7,8}； 1 2 5 3 4 6 8 7 a a ? ? ? ? ? a 构造NFA N的状态K的子集的算法： 假定所构造的子集族为C，即C= (T1, T2,,... TI),其中T1, T2,,... TI为状态K的子集。 1 开始，令?-closure(K0)为C中唯一成员，并且它是未被标记的。 2 while （C中存在尚未被标记的子集T）do { 标记T； for 每个输入字母a do { U:= ?-closure(move(T,a))； if U不在C中 then 将U作为未标记的子集加在C中 } } NFA的确定化 例子 4 f 3 5 6 2 1 i ? ? ? ? a a a a b b b b 4 f 3 5 6 2 1 i ? ? ? ? a a a a b b b b ? Ia Ib 等价的DFA a C D B A E F S b a a a a a b b b b b a b F * * * *