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;
9int icurrentstate=0; //
初態以1開始
10int iprestate=0;11
int ilastforkstate=0;12
int iforkstate=0;13
int imaxstate=0;14
char cregluarsting[maxregluarlong]; //
輸入的正規式字串
15char ccharset[maxcahrslong]; //
字符集16
int istatematrix[maxstatelong][maxcahrslong]; //
狀態轉換矩陣
17 state vstoreregluarsting()//
把字串讀入乙個緩衝區中
1822
state vpreprocessregluarsting()
23//
對字串進行預處理,去掉字串裡面的對分析不產生影響
2435
}36 i++;37}
38return
ok;39}40
void vconstructstatematrix(char cchar,int istate)//
構造狀態轉換矩陣
4149
void vaanalyseregluarsting()//
對字串進行從左到右的分析與處理
5073
if(cregluarsting[i]=='|'
)7481if(icharnumbeforl==1&&cregluarsting[i+2]=='|'
)82 icurrentstate=iforkstate;
83 icharnumbeforl=0;84
}85if(cregluarsting[i]==')'
)8690}
91}92else
93101
} 
102}
103}
104void
vprintfstateprojectfunction()
105113
void vprintfnfa()//
輸出nfa
114\n");
125 printf("
\n狀態集s為:
132 printf("
}\n\n");
133vprintfstateprojectfunction();
134 printf("
\n初態集s0為:\n\n");
135 printf("
終態集f為:
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...
正規式轉換為有窮自動機
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個小寫字母組成的字符集，第...