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

d[i].erase(j,1);

//cout<<d[i]<<endl;

j--;

}

break; //跳出n

}

}//n

}//j

if(flag)

{

m++;

flag=0;

}

//cout<<"sta="<<sta<<endl;

sta.erase();

}//k

}//i

cout<<endl<<"集合划分：";

for(i=0;i<m;i++)

cout<<"{"<<d[i]<<"} ";

cout<<endl;

//状态重新命名