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

//cout<<t[i].jihe[k]<<endl;

for(j=0;j<t[i].jihe[k].length();j++)

eclouse(t[i].jihe[k][j],t[i].jihe[k],b); //求e-clouse

}

for(j=0;j<len;j++)

{

paixu(t[i].jihe[j]); //对集合排序以便比较

for(k=0;k<h;k++)

{

flag=operator==(t[k].ltab,t[i].jihe[j]);

if(flag)

break;

}

if(!flag&&t[i].jihe[j].length())

t[h++].ltab=t[i].jihe[j];

}

}

cout<<endl<<"状态转换矩阵如下："<<endl;

outputfa(len,h,t); //输出状态转换矩阵

//状态重新命名