report.txt

正则表达式转换为NFA再转换为DFA

 ___________________________Initialization__________________________
 The alphabet is: a,b
 The total number of symbols is: 2
 The regular express is: (a|b)*abb
 Lexical scan passed, The regular express is legel.
 _________________________Infomation of NFA_________________________
 NFA's number of States is: 14
 NFA's start state is: q7 
NFA's final state is: q14 
The transnations of NFA is format as [State1 --Symbol--> State2].  ~ meansε
    q1  --a--> q2 
    q2  --~--> q6 
    q3  --b--> q4 
    q4  --~--> q6 
    q5  --~--> q3     q5  --~--> q1 
    q6  --~--> q5     q6  --~--> q8 
    q7  --~--> q8     q7  --~--> q5 
    q8  --~--> q9 
    q9  --a--> q10
    q10 --~--> q11
    q11 --b--> q12
    q12 --~--> q13
    q13 --b--> q14

_________________________Infomation of DFA_________________________
              ___________Subset Construct DFA___________            
 DFA's number of States is: 5
 DFA's start state is: s1 
 DFA's final state are: s5  
 DFA's States                                        a    b  
 s1 :{q1,q3,q5,q7,q8,q9}                            s2   s3 
 s2 :{q1,q2,q3,q5,q6,q8,q9,q10,q11}                  s2   s4 
 s3 :{q1,q3,q4,q5,q6,q8,q9}                         s2   s3 
 s4 :{q1,q3,q4,q5,q6,q8,q9,q12,q13}                  s2   s5 
 s5 :{q1,q3,q4,q5,q6,q8,q9,q14}                      s2   s3 
              ______________Optimized DFA_______________            
 Optimize is unnecessary!
              ______________Simplifyed DFA______________            
 DFA's number of States is: 5
 DFA's start state is: s1 
 DFA's final state are: s5  
 DFA's States                                        a    b  
 s1 :{q1,q3,q5,q7,q8,q9}                            s2   s3 
 s2 :{q1,q2,q3,q5,q6,q8,q9,q10,q11}                  s2   s4 
 s3 :{q1,q3,q4,q5,q6,q8,q9}                         s2   s3 
 s4 :{q1,q3,q4,q5,q6,q8,q9,q12,q13}                  s2   s5 
 s5 :{q1,q3,q4,q5,q6,q8,q9,q14}                      s2   s3 
 _______________________________End_________________________________