词法分析终.pptVIP

1 1 作业: 1、求正则式（a|b)(a|b|0|1)*对应的正则文法（右线性文法），画状态转换图。 2、求正则文法G[Z]： Z　　 0Z| 1Z | 0A A 0B B 0 对应的正则式 3、 已知有限自动机如图 (1)以上状态转换图表示的语言有什么特征？ (2)写出其正规式与正规文法. (3)构造识别该语言的有限自动机DFA. 4、请构造与正则式R=(a*b)*ba(a|b)* 等价的状态最少的DFA（确定有限自动机） 例3.12：与文法G［S］等价的NFA　M如图4.11 G[S]: S　　a A S　　bB S　　ε A　　aB A　　bA B　　aS B　　bA B　　 ε 有穷自动机转换成等价的正规文法： 对转换函数f(A,t)=B,可写一产生式：A　　tB 对可接受状态Z，增加一产生式：Z　　ε 有穷自动机的初态对应文法开始符 有穷自动机的字母表为文法的终结符集 例3.13：给出与图4.12的NFA等价的正规文法G G＝（｛A，B，C，D｝，｛a，b}，P，A），其中P为： A　　a B C　　 ε A　　bD D　　aB B　　bC D　　bD C　　aA D　　 ε C　　bD 3.6　词法分析程序的自动构造工具 以LEX为例介绍如何从正规式产生识别该正规式所描述的 　单词的词法分析程序 LEX是一个广泛使用的工具，UNIX系统中使用lex命令调 　用。它用于构造各种各样语言的词法分析程序 图 3.13LEX编译系统的作用 图 3.14 使用LEX生成词法分析器 LEX程序由三部分组成： 说明部分：变量说明、常量说明、正规定义 %% 转换规则：Pn {action 　n} %% 辅助过程：容纳的是action所需要的辅助过程 图4.15给出一个识别PL/O单词的LEX程序片断： IDENT[a-zA-Z] [a-zA-Z0-9]* 　NUMBER[0-9] [0-9]* 　%( 　#include 〈stdio.h〉 　#include code.h“ 　#include symbol.h“ 　#include y.tab.h“ 　extern int level; 　int cc=0; 　%) 　%% 　 { cc++;} 　＼t { tablize(); } /*adjustcc to tabposition*/ 　＼n { cc=0; line-copy(); } /*copy a line of input file*/ 　 { cc++; return LT;} 　 { cc++; return GT;} 　= { cc++; return EQ;} 　# { cc++; return NE;} , { cc++; return colon; } 　. { cc++; return Period;} 　( { cc++; return Lparen;} 　) { cc++; return Rparen;} = { cc++;cc++;return LE;} = { cc++;cc++;return GE;} ∶= { cc++; cc++;return ASGN;} ; { cc++; return Semicolon;} {NUMBER} { 　　　　　　intn; 　　　　　　cc += yyleng; 　　　　　　sscanf(yytext,%d, n); 　　　　　　yylval.number=n; 　　　　　　return NUMBER; 　　　　　 } 　　{IDENT} { 　　　　　　Symbol *s; 　　　　　　cc += yyleng; 　　　　　　if((s=lookup(yytext))==0) /*new identifier*/ 　　　　　　　s=install(yytext,VARIABLE,level,0); /* install symbol*/ 　　　　　　i