构造NFA N的状态K的子集的算法:
假定所构造的子集族为C,即C= (T1, T2,,... TI),其中T1, T2,,... TI为状态K的子集。
① 开始,令e-closure(K0)为C中唯一成员,并且它是未被标记的。
② while (C中存在尚未被标记的子集T)do {
标记T;
for 每个输入字母a do
{
U:= e-closure(move(T,a));
if U不在C中 then
将U作为未标记的子集加在C中
}
}