Chinaunix首页 | 论坛 | 博客
  • 博客访问: 598475
  • 博文数量: 5
  • 博客积分: 0
  • 博客等级: 民兵
  • 技术积分: 56
  • 用 户 组: 普通用户
  • 注册时间: 2019-06-26 09:19
文章分类
文章存档

2019年(5)

我的朋友

分类: C/C++

2019-06-27 16:20:52

手动编写词法分析器要比使用自动生成工具要麻烦,因为大多数词法不复杂的语言的都可以通过正则表达式来表示词法单元。手动编写还需要模拟正则表达式,而自动生成工具就不需要。
手写可以基于状态转换图,或者直接扫描输入串来寻找模式匹配。

手动编写可以将正则表达式的模式转化为状态转换图,状态转换图有一组"状态"的节点。词法分析在扫描输入串的过程中寻找模式匹配的词素,而转换图中每个状态代表一个可能在这个过程中出现的情况。
状态图中的边从图的一个状态指向另一个状态,边上包含一个或多个符号,从一个节点经过一个边如果匹配则进入下一个节点,否则判断下一条边是否匹配。如果遇到一个终止状态则返回一个词法单元。

基于状态转换图的词法分析器的结构:
用一个变量state来表示当前状态节点的编号,然后用一个switch语句根据state的值来判断进入了哪个状态节点。
例如: 判断词法单元>, <, =, <=, >=


点击(此处)折叠或打开

  1. #define TOKEN int

  2. TOKEN getrelop()
  3. {
  4.     while (1) { 
  5.         switch (state) { 
  6.         case 0: 
  7.             c = nextchar();
  8.             if (c == '<') state = 1;
  9.             else if (c == '=') state = 5;
  10.             else if (c == '>') state = 6;
  11.             else failed();
  12.             break;
  13.         case 1:
  14.             c = nextchar();
  15.             if (c == '=') state = 2;
  16.             else if (c == '>') state = 3;
  17.             else state = 4;
  18.             break;
  19.         case 2: return LE;
  20.         case 3: return NE;
  21.         case 4: retract(); return LT;    、/* retract将多读的字符退回输入流
  22.                                             * 这里表示如果读到<和另一个非=号的字符
  23.                                             * 就会判断是一个<符号的词法单元,所以
  24.                                             * 要将下一个读到的退回输入流
  25.                                             */
  26.         case 5: return EQ;
  27.         case 6: 
  28.             c = nextchar();
  29.             if (c == '=') state = 7;
  30.             else state = 8;
  31.             break;
  32.         case 7: return GE;
  33.         case 8: retract(); return GT;
  34.         }
  35.     }
  36. }
retract函数负责将读到的字符回退到输入流,例如: >=和>1,后者判断为>符号,并且将1使用ungetc等类似的动作将其退回到输入流,前者则判断为>=符号。

将这种转换图的代码集成到整个词法分析有几种方法:
1) 让程序顺序的执行所有的状态转换图,每次遇到一个failed函数就重置输入流并启动下一个转换图,而这种方法在识别标识符的时候就可能会与关键字冲突,例如: int应该识别为一个关键字,但标识符的转换图也会认为他可能是一个标识符。这种情况只需要将每个关键字的转换图放在标识符的转换图之前即可识别。这和lex程序的识别类似,在使用lex的时候要把关键字都放到识别id的正则表达式的前面,否则lex将不会匹配后面的关键字。这种方法也避免了诸如intnext会被识别为一个关键字的情况。

点击(此处)折叠或打开

  1. int keyword_graph();
  2. int id_graph();

  3. int lexer()
  4. {
  5.     int tok;
  6.     tok = keyword_graph();
  7.     if (tok != NONE)
  8.         goto done;
  9.     ...
  10.     get_relop();
  11.     ...
  12.     tok = id_graph();
  13.     if (tok != NONE)
  14.         goto done;
  15.     ...
  16. done:
  17.     return tok;
  18. }

  19. int keyword_graph()
  20. {
  21.     int tok;
  22.     tok = int_graph();
  23.     /*如果匹配了int,则返回int的词法单元, 否则继续处理下一个状态转换图*/
  24.     if (tok != NONE)
  25.         goto done;
  26.     float_graph();
  27.     if (tok != NONE)
  28.         goto done;
  29.     double_graph();
  30.     ...
  31. done:
  32.     return tok;
  33. }
2)并行的执行每个转换图,将下一个输入字符传递给所有的状态转换图,然后每个转换图执行转换。但这种方法的一个问题是,假如对于thenext而言,then的转换图完成了匹配,但id的转换图会继续处理输入。这个问题的通常处理策略是取最长,类似于正则表达式中的贪婪匹配。
3)更好的办法是将所有的状态转换图合并成一个图,这种方法在合并几个图的时候很简单,但合并很多图的时候会越来越复杂。(本文不叙述)


引用:
编译原理(第二版)            Alfred V.Aho, Monica S.Lam, Ravi Sethi, Jeffery D.Ullman



阅读(281142) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~