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