编译原理四章.pptVIP

标记s5： ?_closure(move(s5,0))= ?_closure ({3,8,10})=s3 ?_closure(move(s5,1))= ?_closure ({7,9})=s4 标记s6： ?_closure(move(s6,0))= ?_closure ({8,10})={8,10}=s8 ?_closure(move(s6,1))= ?_closure ({7,9})=s4 标记s7： ?_closure(move(s7,0))= ?_closure ({8,10})=s8 ?_closure(move(s7,1))= ?_closure ({7,9})=s4 X Y 0 1 2 3 0 1 0 1 4 ? ? 5 0 6 ? ? 0 7 1 8 1 9 1 1 10 0 0 标记s8： ?_closure(move(s8,0))= ?_closure ({4})=s5 ?_closure(move(s8,1))= ?_closure ({6})=s7 X Y 0 1 2 3 0 1 0 1 4 ? ? 5 0 6 ? ? 0 7 1 8 1 9 1 1 10 0 0 s0（初始） move(s0,0)=s1 move(s0,1)= ? move(s1,0)= ? move(s1,1)= s2 move(s2,0)= s3 move(s2,1)= s4 move(s3,0)= s5 move(s3,1)= s6(终止) move(s4,0)= s7 move(s4,1)= s5 move(s5,0)= s3 move(s5,1)= s4 move(s6,0)= s8 move(s6,1)= s4 move(s7,0)= s8 move(s7,1)= s4 move(s8,0)= s5 move(s8,1)= s7 习题三 3.3 初始状态：ε-closure({0})={0}=s1 标记s1： ε-closure(move(s1,a))={1,3}=s2 ε-closure(move(s1,b))= ? 标记s2： ε-closure(move(s2,a))={1,3}=s2 ε-closure(move(s2,b))={2,4,6,5}=s3 标记s3（终止状态）： ε-closure(move(s3,a))={4,6,5}=s4 ε-closure(move(s3,b))={6,5,4}=s4 标记s4 （终止状态）： ε-closure(move(s4,a))={6,5,4}=s4 ε-closure(move(s4,b))={6,5,4}=s4 习题三 States a b -s1 {0} s2 s2 {1,3} s2 s3 +s3 {2,4,6,5} s4 s4 +s4 {4,6,5} s4 s4 s1 s2 s3 s4 a a b a,b a,b 习题三 3.4 确定化（子集法） 初始状态：ε-closure({0})={0}=s1 标记s1： ε-closure(move(s1,x))={1}=s2 ε-closure(move(s1,y))={2}=s3 标记s2： ε-closure(move(s2,x))={2,3}=s4 ε-closure(move(s2,y))= ? 标记s3： ε-closure(move(s3,x))=? ε-closure(move(s3,y))={1,3}=s5 标记s4： ε-closure(move(s4,x))={3,4}=s6(Z) ε-closure(move(s4,y))={1,3}=s5 x 1 x y 2 3 4 x y 5 y 6 标记s5： ε-closure(move(s5,x))={2,3,4}=s7(Z) ε-closure(move(s5,y))={3}=s8 标记s6： ε-closure(move(s6,x))={3,4}=s6 ε-closure(move(s6,y))={3}=s8 标记s7： ε-closure(move(s7,x))={3,4}=s6 ε-closure(move(s7,y))={1,3}=s5 标记s8： ε-closure(move(s8,x))={3,4}=s6 ε-closure(move(s8,y))={3}=s8 x 1 x y 2 3 4 x y 5 y x y 8 x y x y x y 6 7 最小化（分割法） (1)I1={ (1,2,3,4,5,8) (6,7) } (2) I2={ (1,2,4,5,8) (3) (6,7) } (3)I3={ (1,2) (3) (4,5,