不确定有穷自动机的确定化(3)

4、 伪代码

假定构造的子集族为S=（T1，T2。。。。。。）， K为状态集：

（1） 开始，令closure(K0)为S中唯一成员，并

且未被标记

（2） WHILE（C中存在尚未被标记的子集T）

DO

{

标记T;

For 每输入字母a

DO

{

U:=closure(move(T,a));

If U 不在S中 then

将U作为未被标记的子集加在S中