状态转换图的两种实现方法

                                                状态转换图的两种实现方法  

                                                                                                                                            作者: 周顺利

状态转换图的实现
状态转换图的实现通常有两种方法：状态转换表和直接转向法

    状态转换表法又称数据中心，是把状态转换图看作一种数据结构，由控制程序控制字符在其上运行，从而完成词法分析。优点是程序短，但是占存储空间多，

    直接转向法又称程序中心法，是把状态转换图看成一个流程图，从状态转换图的初态开始，对它的每一个状态节点都编写一段相应的程序。

状态转换图的实现：

enum state(s0,s1,s2,s3,s4,s5);                     /*DFA的所有状态*/
enum letter('a'..'z');                             /*字母的定义*/
enum digit('0'..'9');                              /*数字的定义*/
enum outkind(id,num,error,start);
int T[6][3]={'1','3','5','1','1','2','start','start','start','4','3','4','start','start','start','start','start','start'}      /*状态转换表*/

char ch;                                           /*当前单词*/
state=s0;                                          /*初试始状态*/
ch=getChar();                                      /*读取当前单词*/

while((T[state][ch]!='start')&&(ch!='.'))
{                                                   /*根据状态转换表识别单词*/
 state=T[state][ch];
 ch=getChar();
}
if(state==s2)
outkind=id;                                         /*当前单词是标识符*/
else if(state==s4) outkind=num;                     /*当前单词是常数*/
else outkind=error;                                 /*出错*/

直接转向法：

enum state(s0,s1,s2,s3,s4,s5);                     /*DFA的所有状态*/
enum letter('a'..'z');                             /*字母的定义*/
enum digit('0'..'9');                              /*数字的定义*/
enum outkind(id,num,error,start);
int T[6][3]=
{'1','3','5','1','1','2','start','start','start','4','3','4','start','start','start','start','start','start'}                                           /*状态转换表*/

char ch;                                           /*当前单词*/
state=s0;                                          /*初试始状态*/
ch=getChar();                                      /*读取当前单词*/

switch(state)                                      /*根据当前状态进行状态转换*/
{
 case s0: switch(ch)
 {
  case 'a'..'z': state=s1; break;
  case '0'..'9': state=s3; break;
  default: state=s5;       break;
 }break;                                     /*状态s0的分情况转向程序*/
 case s1: while((ch==letter)&&(ch==digit))
   ch=getChar();
   state=s2;
   break;                             /*状态s1的分情况转向程序*/
 case s2: ungetChar();
   outkind=id;
   break;                            /*当前单词标识符*/
 case s3: while(ch==digit)
     ch=getChar();
    state=s4;
    break;                           /*状态s3的分情况转向程序*/                                 case s4:  ungetChar();
   outkind=num;
   break;                            /*当前单词是常数*/
 case s5: outkind=error;
   break;                            /*出错*/
}
return outkind;