不确定有穷自动机的确定化(9)
时间:2026-01-15
时间:2026-01-15
cin>>b[i].first;
if(b[i].first=="#") break;
cin>>b[i].change>>b[i].last;
}
N=i;
/*for(j=0;j<N;j++)
cout<<b[j].first<<b[j].change<<b[j].last<<endl;*/
for(i=0;i<N;i++)
{
if(NODE.find(b[i].first)>NODE.length())
NODE+=b[i].first;
if(NODE.find(b[i].last)>NODE.length())
NODE+=b[i].last;
if((CHANGE.find(b[i].change)>CHANGE.length())&&(b[i].change!="*")) CHANGE+=b[i].change;
}
len=CHANGE.length();
cout<<"结点中属于终态的是:"<<endl;
cin>>endnode;
for(i=0;i<endnode.length();i++)
if(NODE.find(endnode[i])>NODE.length())