實現NFA到DFA的轉化(C語言)


簡單記錄一下,自動機課上的一個實驗,用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


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM