資源簡介
(可運行,對應博客為部分實驗報告)由非確定的有限自動機出發構造與之等價的確定的有限自動機的辦法是確定的有限自動機的狀態對應于非確定的有限自動機的狀態集合,即要使轉換后的DFA的每一個狀態對應NFA的一組狀態。該DFA使用它的狀態去記錄在NFA讀入一個輸入符號后可能到達的所有狀態,也就是說,在讀入符號串a1a2a3…an之后,該DFA處在這樣一個狀態,該狀態表示這個NFA的狀態的一個子集T,而T是從NFA的開始狀態沿著某個標記為a1a2a3…an的路徑可以到達的那些狀態。
代碼片段和文件信息
#include?
#include?
#define?MAXS?100?
using?namespace?std;?
string?NODE;?//結點集合?
string?CHANGE;?//終結符集合?
int?N;????//NFA邊數?
struct?edge{?
string?first;?
string?change;?
string?last;?
};?
struct?chan{?
string?ltab;?
string?jihe[MAXS];?
};?
void?kong(int?a)?
{?
int?i;?
for(i=0;i???cout<<‘?‘;?
}?
//排序
?
void?paixu(string?&a)?
{?
?int?ij;?
char?b;?
for(j=0;j ???for(i=0;i ????if(NODE.find(a[i])>NODE.find(a[i+1]))?
????{?
?????b=a[i];?
?????a[i]=a[i+1];?
?????a[i+1]=b;?
????}??
}
?
void?eclouse(char?cstring?&heedge?b[])?
{?
int?k;?
for(k=0;k {?
???if(c==b[k].first[0])?
????if(b[k].change==“*“)?
????{?
?????if(he.find(b[k].last)>he.length())?
??????he+=b[k].last;?
?????eclouse(b
- 上一篇:MFC計算器源代碼
- 下一篇:計算機圖形學課程設計源代碼
評論
共有 條評論