不確定有窮自動機(jī)的確定化

1、編譯原理實驗報告實驗名稱 不確定有窮自動機(jī)的確定化實驗時間_ 2014年4月10日_院 系_管理信息工程學(xué)院_班 級_11計算機(jī)科學(xué)與技術(shù)_學(xué) 號_201101020109_姓 名_姜高_(dá)1、 實驗?zāi)康牟淮_定有窮自動機(jī)的確定化2、 實驗原理用子集構(gòu)造算法構(gòu)造子集加入子集族中直到收斂（所有構(gòu)造的子集都已存在于子集族）為止。如原來不確定有窮自動機(jī)的五元組形式為：M=（K，&，F(xiàn)，S，Z），其中K為狀態(tài)集，&為字母表，F(xiàn)為轉(zhuǎn)換函數(shù)，S為初始態(tài)，Z為終態(tài)集。用子集族S代替K，新的轉(zhuǎn)換函數(shù)D代替F，形成新的五元組M=（S，&，D，S，Z）即將原不確定有窮自動機(jī)轉(zhuǎn)換為確定有窮自動機(jī)。3、 實驗內(nèi)容（1）

2、閉包計算：closure(I)（2） 轉(zhuǎn)換函數(shù)：move(I,a)4、 偽代碼 假定構(gòu)造的子集族為S=（T1，T2。）， K為狀態(tài)集：（1） 開始，令closure(K0)為S中唯一成員，并且未被標(biāo)記（2） WHILE（C中存在尚未被標(biāo)記的子集T）DO標(biāo)記T;For 每輸入字母a DOU:=closure(move(T,a);If U 不在S中 then將U作為未被標(biāo)記的子集加在S中5.代碼實現(xiàn)#include #include #define MAXS 100 using namespace std; string NODE; /結(jié)點集合 string CHANGE; /終結(jié)符集合 int

3、N; /NFA邊數(shù) struct edge string first; string change; string last; ; struct chan string ltab; string jiheMAXS; ; void kong(int a) int i; for(i=0;ia;i+) cout ; /排序 void paixu(string &a) int i,j; char b; for(j=0;ja.length();j+) for(i=0;iNODE.find(ai+1) b=ai; ai=ai+1; ai+1=b; void eclouse(char c,string &h

4、e,edge b) int k; for(k=0;khe.length() he+=bk.last; eclouse(bk.last0,he,b); void move(chan &he,int m,edge b) int i,j,k,l; k=he.ltab.length(); l=he.jihem.length(); for(i=0;ik;i+) for(j=0;jhe.jihem.length() he.jihem+=bj.last0; for(i=0;il;i+) for(j=0;jhe.jihem.length() he.jihem+=bj.last0; /輸出 void outpu

5、tfa(int len,int h,chan *t) int i,j,m; cout I ; for(i=0;ilen;i+) coutICHANGEi ; coutendl-endl; for(i=0;ih;i+) cout ti.ltab; m=ti.ltab.length(); for(j=0;jlen;j+) kong(8-m); m=ti.jihej.length(); coutti.jihej; coutendl; void main() edge *b=new edgeMAXS; int i,j,k,m,n,h,x,y,len; bool flag; string jhMAXS,

6、endnode,ednode,sta; cout請輸入NFA各邊信息（起點條件空為* 終點），以#結(jié)束：endl; for(i=0;ibi.first; if(bi.first=#) break; cinbi.changebi.last; N=i; /*for(j=0;jN;j+) coutbj.firstbj.changebj.lastendl;*/ for(i=0;iNODE.length() NODE+=bi.first; if(NODE.find(bi.last)NODE.length() NODE+=bi.last; if(CHANGE.find(bi.change)CHANGE.l

7、ength()&(bi.change!=*) CHANGE+=bi.change; len=CHANGE.length(); cout結(jié)點中屬于終態(tài)的是：endnode; for(i=0;iNODE.length() cout所輸終態(tài)不在集合中，錯誤！endl; return; /coutendnode=endnodeendl; chan *t=new chanMAXS; t0.ltab=b0.first; h=1; eclouse(b0.first0,t0.ltab,b); /求e-clouse /coutt0.ltabendl; for(i=0;ih;i+) for(j=0;jti.lta

8、b.length();j+) for(m=0;mlen;m+) eclouse(ti.ltabj,ti.jihem,b); /求e-clouse for(k=0;klen;k+) /coutti.jihek; move(ti,k,b); /求move(I,a) /coutti.jihekendl; for(j=0;jti.jihek.length();j+) eclouse(ti.jihekj,ti.jihek,b); /求e-clouse for(j=0;jlen;j+) paixu(ti.jihej); /對集合排序以便比較 for(k=0;kh;k+) flag=operator=(tk

9、.ltab,ti.jihej); if(flag) break; if(!flag&ti.jihej.length() th+.ltab=ti.jihej; coutendl狀態(tài)轉(zhuǎn)換矩陣如下：endl; outputfa(len,h,t); /輸出狀態(tài)轉(zhuǎn)換矩陣 /狀態(tài)重新命名 string *d=new stringh; NODE.erase(); coutendl重命名：endl; for(i=0;ih;i+) sta=ti.ltab; ti.ltab.erase(); ti.ltab=A+i; NODE+=ti.ltab; coutsta=ti.ltabendl; for(j=0;jend

10、node.length();j+) if(sta.find(endnodej)sta.length() d1=ednode+=ti.ltab; for(k=0;kh;k+) for(m=0;mlen;m+) if(sta=tk.jihem) tk.jihem=ti.ltab; for(i=0;iednode.length() d0+=NODEi; endnode=ednode; coutendlDFA如下：endl; outputfa(len,h,t); /輸出DFA cout其中終態(tài)為：endnodeendl; /DFA最小化 m=2; sta.erase(); flag=0; for(i=

11、0;im;i+) /coutdi=diendl; for(k=0;klen;k+) /coutICHANGEkendl; y=m; for(j=0;jdi.length();j+) for(n=0;ny;n+) if(dn.find(tNODE.find(dij).jihek)dn.length()|tNODE.find(dij).jihek.length()=0) if(tNODE.find(dij).jihek.length()=0) x=m; else x=n; if(!sta.length() sta+=x+48; else if(sta0!=x+48) dm+=dij; flag=1

12、; di.erase(j,1); /coutdiendl; j-; break; /跳出n /n /j if(flag) m+; flag=0; /coutsta=staendl; sta.erase(); /k /i coutendl集合劃分：; for(i=0;im;i+) coutdi ; coutendl; /狀態(tài)重新命名 chan *md=new chanm; NODE.erase(); coutendl重命名：endl; for(i=0;im;i+) mdi.ltab=A+i; NODE+=mdi.ltab; coutdi=mdi.ltabendl; for(i=0;im;i+) for(k=0;klen;k+) for(j=0;jh;j+) if(di0=tj.ltab0) for(n=0;nm;n+) if(!tj.jihek.length() break; else if(dn.find(tj.jihek)dn.length() mdi.jihek=mdn.ltab; break; break; ednode.erase(); f