NFA确定化算法:假设NFA N=(K, ∑,f,K0,Kt)按如下办法构造一个DFA M=(S, ∑,d,S0,St),使得L(M)=L(N):