《编译原理》第三章词法的分析.ppt

状态转换图的实现之一 —— 数据中心法 将状态转换图看成一种数据结构(状态矩阵表)，用总控程序控制输入的源程序串在其上运行。 * 状态矩阵 二级目录表 主表： 数据项= 状态 + 分表地址或子程序入口 状态 = 终态时，分表地址为子程序入口 状态 = 非终态时，为分表入口 2. 分表： 数据项= 当前输入字符 + 转换状态 主表 分表 * 状态转换图的实现之二 —— 程序中心法 将状态转换图看成一个流程图，从初态开始对它的每个节点（状态）编写一函数或直接跟踪状态图从初态开始的转换完成所有分支的跟踪来编写程序。 例3.5 设单一小写字母或单一数字或“/”为合法单词，表示它们的状态转换图如图所示。 * char char1; ｛ char1=nextchar( ); if (state=i ) switch (char1) ｛ case ‘a’…‘z’: J (chartype, char1); break; case ‘0’…‘9’: K (chartype, char1); break; case ‘／’: L (chartype, char1); break; default: error; ｝ ｝ 其中： J，K，L为状态j，k，l所对应的函数 ； nextchar( )为一函数，功能是从当前扫描的源程序读取下一个字符； 状态转换图的实现 int state = 0; enum lettet (a..z); enum number (0..9); char char1; while(1) ｛ char1 = nextchar( ); switch(state) ｛ case 0: switch (char1) ｛ case a…z‘ : state = 1; break; 0…9‘ : state = 3; break; case case = : state = 5; break; case * : state = 6; break; case + : state = 7; break; case { : state = 11; break; case } : state = 12; break; default : state =13; } break; * 状态转换图的实现 case 1: { while (char1 == letter||number) char1 = nextchar(); state = 2; } break; case 2: { untread();return (02,value) or return(01,value);} break; /* 函数untread()功能是回退一个已读进的字符； 属性01表示关键字；属性02表示标识符 */ case 3: {while (char1 == number) char1 = nextchar(); state = 4;} break; case 4: {untread(); return (03 ,value);}break; /* 属性03表示无符号整常数 */ case 5: return (04, );break; /* 属性04表示 “＝”*/ case 6: return (05, );break;