正規式轉換為有窮自動機

1 #include2 #include 3 #define  ok   1

4 #define error 0
5 #define maxregluarlong 40
6 #define maxstatelong 40 
7 #define maxcahrslong 40 
8 typedef int state;
9 int icurrentstate=0; //初態以1開始
10 int iprestate=0;
11 int ilastforkstate=0;
12 int iforkstate=0;
13 int imaxstate=0;
14 char cregluarsting[maxregluarlong]; //輸入的正規式字串
15 char ccharset[maxcahrslong]; //字符集
16 int istatematrix[maxstatelong][maxcahrslong]; //狀態轉換矩陣
17 state vstoreregluarsting()//把字串讀入乙個緩衝區中
18 22 state vpreprocessregluarsting()
23 //對字串進行預處理,去掉字串裡面的對分析不產生影響
24 35 }
36 i++;
37 }
38 return ok;
39 }
40 void vconstructstatematrix(char cchar,int istate)//構造狀態轉換矩陣
41 49 void vaanalyseregluarsting()//對字串進行從左到右的分析與處理
50 73 if(cregluarsting[i]=='|')
74 
81 if(icharnumbeforl==1&&cregluarsting[i+2]=='|')
82 icurrentstate=iforkstate;
83 icharnumbeforl=0;
84 }
85 if(cregluarsting[i]==')')
86 
90 }
91 }
92 else
93 
101 } 
102 }
103 }
104 void vprintfstateprojectfunction()
105 
113 void vprintfnfa()//輸出nfa
114 \n");
125 printf("\n狀態集s為:
132 printf("}\n\n");
133 vprintfstateprojectfunction();
134 printf("\n初態集s0為:\n\n");
135 printf("終態集f為:",imaxstate);
136 }
137 void main()
138 

1203正規式轉換為有窮自動機

1 include2 include 3 define ok 1 4 define error 0 5 define maxregluarlong 40 6 define maxstatelong 40 7 define maxcahrslong 40 8 typedef int state 9in...

1203正規式轉換為有窮自動機

1 include2 include 3 define ok 1 4 define error 0 5 define maxregluarlong 40 6 define maxstatelong 40 7 define maxcahrslong 40 8 typedef int state 9 i...

有窮自動機

problem description adfa 證明 adfa是可判定的。實驗方法 編寫乙個演算法 程式，對於任意給定的輸入，可以判定adfa。input 有多個測試序列，測試結束於測試檔案結束 每個測試序列的第一行為幾個正整數n m t a分別表示有n個狀態，從a開始m個小寫字母組成的字符集，第...