不确定有限状态自动机的确定化(NFA TO DFA).doc

《不确定有限状态自动机的确定化(NFA TO DFA).doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、不确定有限状态自动机的确定化（NFATODFA）2008-12-0522:11#include#include#defineMAXS100usingnamespacestd;stringNODE;//结点集合stringCHANGE;//终结符集合intN;   //NFA边数structedge{stringfirst;stringchange;stringlast;};structchan{stringltab;stringjihe[MAXS];};voidkong(inta){inti

2、;for(i=0;iNODE.find(a[i+1]))   {    b=a[i];    a[i]=a[i+1];    a[i+1]=b;   }}voideclouse(charc,string&he,edgeb[]){intk;for(k=0;k

3、  if(c==b[k].first[0])   if(b[k].change=="*")   {    if(he.find(b[k].last)>he.length())     he+=b[k].last;    eclouse(b[k].last[0],he,b);   }}}voidmove(chan&he,intm,edgeb[]){inti,j,k,l;k=he.ltab.length();l=he.jihe[m].length();for(i=0;i

4、(CHANGE[m]==b[j].change[0])&&(he.ltab[i]==b[j].first[0]))    if(he.jihe[m].find(b[j].last[0])>he.jihe[m].length())     he.jihe[m]+=b[j].last[0];for(i=0;i

5、(b[j].last[0])>he.jihe[m].length())     he.jihe[m]+=b[j].last[0];}//输出voidoutputfa(intlen,inth,chan*t){inti,j,m;cout<<"I      ";for(i=0;i

6、=t[i].ltab.length();  for(j=0;j

7、or(i=0;i>b[i].first;  if(b[i].first=="#")break;  cin>>b[i].change>>b[i].last;}N=i;/*for(j=0;jNODE.length())   NODE+=b[i].first;  if(NODE.find(b[i].

8、last)>NODE.length())   NODE+=b[i].last;  if((CHANGE.find(b[i].change)>CHANGE.length())&&(b[i].change!="*"))   CHANGE+=b[i].change;}len=CHA