1118有限自动机的构造与识别

#include <string.h> 
#include <stdio.h> 
#include <stdlib.h>
int main() 
{      
    char p[30][30];                //存放文法    
    char q[30][30];                    
    int line = 0;                         
    int n;      
    int i, j;       
    int count =0;   
    int k,t = 0;      
    int flag = 0;      
    int l,m = 0;     
    char VN[30] = {''};           //存放非终结符号    
    char VT[30] = {''};           //存放终结符号             
    printf("请输入规则个数：");       
    scanf("%d",&n);       
    line = n;            
    for(i = 0; i < 30; i++)                  //给字符串数组p、q全部赋值为''  
   for(j=0;j<30;j++)     
   {    
       p[i][j]='';                  
       q[i][j]='';          
   }       
   printf("请输入文法:
");        
   for(i = 0; i < line; i++)       
   {      
       scanf("%s",p[i]);       
   }      //把字符分为终结符号合非终结符号       
   l=0;      
   m=0;       
   for(i = 0;i < line; i++)                                           
   {             
       for(j = 0;j < 30&&(p[i][j] != '');j++)           
       {                   // 非终结符号放入数组VN中                      
           if((p[i][j]<='z' && p[i][j]>='a')||(p[i][j]<='9' && p[i][j]>='0'))                    
           {                             
               flag = 0;                             
               for(t=0; VN[t] != '';t++)                            
               {                                   
                   if(VN[t] == p[i][j])                                  
                   {  
                       flag = 1;                                     
                       break;                                  
                   }                            
               }                             
               if(flag == 0)                            
               {                                   
                   VN[l] = p[i][j];                                 
                   l++;                            
               }                     
           }                      
           // 终结符号放入数组VT中                      
           if(p[i][j]<='Z' && p[i][j]>='A')                     
           {                             
               flag = 0;                             
               for(t = 0; t<30&&(VT[t] != ''); t++)                           
               {                                  
                   if(VT[t] == p[i][j])
                   {
                       flag = 1; 
                       break; 
                   }  
               } 
               if(flag==0) 
               { 
                   VT[m] = p[i][j]; 
                   m++; 
               }  
           } 
       } 
   } //把规则右部分分离放入数组q中
   count = 0; 
   k =0; 
   for(i = 0;i < line;i++) 
   { 
       for(j = 4;j < 30 && (p[i][j] != '');j++) 
       { 
           if((p[i][j]<='z' && p[i][j]>='a')||(p[i][j]<='Z' && p[i][j]>='A')||(p[i][j]<='9'&& p[i][j]>='0'))
           {  
               q[count][k] = p[i][j]; 
               k++; 
           } 
           else 
           { 
               count++; 
               k =0; 
           } 
       }  
       count++; 
       k=0; 
   } //判断是确定的还是非确定的有穷状态自动机并进行前半部分打印
   //判断依据：q数组中每一行字符串是否相同
   flag = 0; 
   for(i = 0;i < count  i++) 
   { 
       for(j = i+1; j < count  j++) 
       { 
           if(strcmp(q[i],q[j]) == 0) 
           { 
               flag = 1; 
               break; 
           } 
       } 
   } 
   if(flag == 1) 
   { 
       printf("是非确定的有穷状态自动机，即NFA

"); 
       printf("构造的有穷状态自动机为：
"); 
       printf("NFA N =（K，∑，M，{S}，{Z}）
"); 
   } 
   else 
   { 
       printf("是确定的有穷状态自动机，即DFA


"); 
       printf("构造的有穷状态自动机为：
"); 
       printf("DFA D=（K，∑，M，{S}，{Z}）
"); 
   } 
   printf("其中，
K = {S"); 
   for(i = 0;i < 30 && (VT[i]!='');i++) 
   { 
       printf(",%c",VT[i]); 
   } 
   printf("}
"); 
   printf("∑={"); 
   for(i = 0;i < 30 && (VN[i]!='');i++) 
   { 
       printf("%c",VN[i]); 
   } 
   printf("}
"); //分离文法；
   k = 0; 
   count = 0; 
   for(i = 0; i < line; i++) 
   { 
       j = 4; 
       while(p[i][j] != '') 
       { 
           if(k < 4) 
           { 
               q[count][k] = p[i][k]; 
               k++; 
           } 
           else 
           { 
               if((p[i][j]<='z'&&p[i][j]>='a')||(p[i][j]<='Z'&&p[i][j]>='A')||(p[i][j]<='9' && p[i][j]>='0')) 
               { 
                   q[count][k] = p[i][j]; 
                   k++; 
                   j++; 
               } 
               if(p[i][j] == '|') 
               { 
                   count++; 
                   k = 0; 
                   j++; 
               } 
           } 
       } 
       count++; 
       k=0; 
   } 
   printf("
"); 
   //打印M后半部分
   printf("M:
"); 
   l =0; 
   while(VN[l] != '') 
   { 
       printf("M(S,%c)={",VN[l]); 
       for(i = 0; i < 30  i++) 
       { 
           for(j = 4; j<30 && (q[i][j] != '');j++) 
           { 
               if(VN[l]==q[i][j]&&(q[i][j+1] == '')&&(q[i][j-1] == '=')) 
                   printf("%c ",q[i][0]); 
           } 
       } 
       printf("}	"); 
       l++; 
   } 
   printf("
"); 
   l = 0; 
   k = 0; 
   while(VT[k] != '') 
   { 
       l =0; 
       while(VN[l] != '') 
       { 
           printf("M(%c,%c)={",VT[k],VN[l]); 
           for(i = 0; i < 30  i++) 
           { 
               for(j = 4; j<30 && (q[i][j] != '');j++) 
               { 
                   if(VT[k] == q[i][j] && VN[l] == q[i][j+1]) 
                       printf("%c ",q[i][0]); 
               } 
           }
           printf("}	"); 
           l++; 
       } 
       k++; 
       printf("
"); 
   } 
   system("pause"); 
}