不确定有穷自动机的确定化(13)
时间:2026-01-15
时间:2026-01-15
for(i=0;i<NODE.length();i++)
if(ednode.find(NODE[i])>ednode.length())
d[0]+=NODE[i];
endnode=ednode;
cout<<endl<<"DFA如下:"<<endl;
outputfa(len,h,t); //输出DFA
cout<<"其中终态为:"<<endnode<<endl;
//DFA最小化
m=2;
sta.erase();
flag=0;
for(i=0;i<m;i++)
{
//cout<<"d["<<i<<"]="<<d[i]<<endl;
for(k=0;k<len;k++)
{
//cout<<"I"<<CHANGE[k]<<endl;
y=m;
for(j=0;j<d[i].length();j++)
{
for(n=0;n<y;n++)