簡單記錄一下,自動機課上的一個實驗,用C語言實現NFA到DFA的轉化,使用的是子集構造法。
子集構造法相信大家都會,直接甩代碼。
先是把NFA和DAF的轉移表存儲在數據結構里,這里用了二維字符數組,先是定義了一個struct onechar,用來當作轉移表的一格,這讓我這個程序簡單了不少,但是局限性是真的多。所以程序的狀態只能使用當個字符表示,且設置的最大狀態集數量是20。
typedef struct onechar
{
char block[MAX_NUM];//用於存儲一個20個字符的字符數組
}onechar;
后面的函數調用其實有點混亂,功能分配很奇怪。
子集構造法被我寫成了字符匹配算法,以下是主要函數。解釋我直接寫在注釋里好了。
void switch_NFAtoDFA(onechar** NFA_chart, onechar** DFA_chart, char* NFA_status, onechar* DFA_status)
{
int i = 0, j = 0, n = 0, flag = 1;//NFA與DFA轉移表的第一行是相同的,num是DFA的狀態集數量
DFA_status[0].block[0] = NFA_status[0];
DFA_status[0].block[1] = '\0';
while (n != num)
{
switch1(NFA_chart, DFA_chart, NFA_status, DFA_status[n].block, n);/*這個函數把DFA的新得到的狀態去匹配NFA的轉移表,從而得到DFA的一行*/
//以下的幾個for循環是把新得到的一行中的狀態與DFA的狀態集對比,看是否有新狀態
for (i = 0; i < chars_num; i++)
{
for (j = 0; j < num; j++)//n,表示已經求完第n個狀態的轉移函數
{
if (strcmp(DFA_chart[n][i].block, DFA_status[j].block) == 0)//不匹配說明是新狀態(所有不匹配才可以)
{
flag = 0;//已存在的狀態
}
}
if (flag == 1 && DFA_chart[n][i].block[0] != '#')//新狀態當然要放在DFA狀態集里了
{
strcpy(DFA_status[num].block, DFA_chart[n][i].block);
num++;
}
flag = 1;
}
n++;
}
}
這里是我最后發現的bug,程序會把狀態一樣但是字符順序不一樣的狀態寫成兩個狀態,如pqr和prq,后來發現只要排下序就好了。
for (i = 0; i < j - 1; i++)//冒泡排序,防止出現pqr,rpq是不同狀態
{
for (k = 0; k < j - 1; k++)
{
if (s[k] > s[k + 1])
{
char tmp = s[k];
s[k] = s[k + 1];
s[k + 1] = tmp;
}
}
}
就簡單寫到這里把,本人很懶,但是直接甩代碼實在不太好,就稍微寫幾個字,剛開始寫博客記錄,思維有些混亂很抱歉。附上完整代碼,大家一起互相學習。
NFA轉DFA完整代碼在gitee上https://gitee.com/zqiusen/c_collect/tree/master/NFA-DFA