NFA到DFA的转换题库.pptVIP

2.2.3 NFA到DFA的转换 定义2.26 有限自动机的等价 对于给定的限自动机M1和 M2，如果有 L(M1) = L(M2),则称有限自动机M1和 M2等价。 定理2.5 对于每一个非确定自动机M，存在一个确定自动机M’，使得L(M)=L(M’)。 NFA确定化：由NFA构造出与其等价的DFA称为NFA确定化。 介绍两个重要函数： 状态集I的?_闭包 设I是NFA M状态集的子集，定义I的 ?闭包?_CLOSURE(I)为： 若q ∈I ,则q ∈?_CLOSURE(I) 若q ∈I,那么从q出发经任意条ε弧而能到达的任何状态q’都属于?_CLOSURE(I)。 例: ?_CLOSURE({1})={1，2} 状态子集I的a转换 若I={S1,…, Sm }是NFA的状态集的一个子集（状态子集），a??, 则定义：Ia = ?_CLOSURE(J ) 其中:J = f (S1,a) ? f (S2,a)…?f(Sm,a) 例: {1，2}a =?_CLOSURE(J )J=f(1,a) ? f(2,a)={4,5}{1，2}a =?_CLOSURE({4,5} )={4,5,7,6,2} NFA A‘到DFA A的转换过程(确定化): 1.令I0= ?_CLOSURE(S0 )作为DFA的初始状态。其中S0 为NFA初始状态集。 2.若DFA中的每