NFA的确定化一子集法p50 n基本思想： u让DFA的每一个状态对应NTA的一组状态。 u即让DFA使用它的状态去记录在NFA读入一个输入 符号后可能达到的所有状态—一子集。 u定义两个运算：e_closure(I)和move(I,a) 28-二月-23 ☒I
28-二月-23 11 NFA的确定化—子集法 p50 n 基本思想： u 让DFA的每一个状态对应NFA的一组状态。 u 即让DFA使用它的状态去记录在NFA读入一个输入 符号后可能达到的所有状态——子集。 u 定义两个运算：ε_closure(I)和move(I,a)
NFA的确定化定义a closure p50 e_closure(I)=IU从I中任意状态出发经任意条 ε弧而能到达的任何状态} a 0 n I={X} e cclosure(I)={X,5,1) nI={5,3}e_closure(I)={5,3,1} 28-二月-23 ☒22
28-二月-23 12 NFA的确定化 定义ε_closure p50 ε_closure(I)=I∪{从I中任意状态出发经任意条 ε弧而能到达的任何状态} n I={X} ε_closure(I)={X，5，1} n I={5，3} ε_closure(I)={5，3，1} a X 5 b 3 a 4 2 b 1 a b 6 Y b a