即{0,1,2,4,7}中的任一状态都是从状态0经任意条ε弧可到达的状态,令{0,1,2,4,7}=A,则 move(A,a)={3,8},因为在状态0,1,2,4和7中,只有状态2和7有a弧射出,分别到达状态3和8。 而ε-closure({3,8})={1,2,3,4,6,7,8}。 再看一个例子,对下图所示NFA的状态集合I的运算
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}; |