试验一讲解withpureC课件.pptx

1、Phases of a CompilerLexical AnalyzerSyntax AnalyzerToken StreamSemantic AnalyzerIntermediateCode GeneratorCode GeneratorSymbol TableMachine CodeOutlinev提交说明提交说明v实验任务（必做实验任务（必做+选做）选做）v编译环境及过程编译环境及过程词法分析与词法分析与flex语法分析与语法分析与bisonv实验实验讲解讲解文法文法二义性消除二义性消除语法语法树创建与打印树创建与打印文法符号结点的数据结构文法符号结点的数据结构语法解析的错误恢复语法解析

2、的错误恢复提交提交说明说明v地址：地址：ftp:/114.212.190.181:v用户名和密码：用户名和密码：uploadv格式：学号命名的压缩包格式：学号命名的压缩包(zip/rar)v内容：内容：源程序(ex1.,ex1.额外的.c文件)可执行程序(命名为 parser)报告PDF(完成的功能点，编译步骤，实现方法，结点的数据结构表示；不超过3页)备注：可重新提交，加后缀备注：可重新提交，加后缀 _02,_03实验任务实验任务v预备：熟悉预备：熟悉 C-文法和实验要求文法和实验要求v必做：必做：错误类型1:词法错误(词法未定义字符)错误类型2:语法错误(如3,9)v选选做：做：选选做做1

3、：两种风格的注释：两种风格的注释：/,/*/选做选做2：八进制数：八进制数：012选做选做3：十六进制：十六进制：0 xa,0Xa,0 xA,0XA选做选做4：指数形式的浮点数：指数形式的浮点数：1E1,01e1编译环境及过程编译环境及过程 vGNU Flex,GNU Bison,GCC,Linux Ubuntusudo apt-get install flex sudo apt-get install bisonv源文件源文件ex1.l,ex1.y 可执行程序可执行程序parserFlex：ex1.l lex.yy.cBison:ex1.y ex1.tab.cGCC：*.c parser./

4、parser test.c/测试命令测试命令编译编译 方法方法Flexex1.lex.yy.Bisonex1.ex1.tab.GCCflex ex1.lbison -d ex1.ygcc -o parser ex1.tab.c -ll (-lfl)parser-ll:lib of lex -lfl:lib of flex -ly:lib of yaccFlex&Bison%ex1.lDeclarations#include“ex1.tab.h”%Definitions(RegEx)%Rules%subroutines(e.g)main%ex1.yDeclarations#include lex

5、.yy.c%Definitions(%Token)%Productions%subroutinesint main(int argc,char*argv)if(argc=1)return 1;FILE*f=fopen(argv1,r);if(!f)perror(argv1);return 1;yyrestart(f);/输入文件指针置为 yyin=f /main函数启动解析函数启动解析器器 return 0;启动语法分析器启动语法分析器Flex预定义变量预定义变量id strncpy(id_lexeme,yytext,yyleng);yylval.pNode=createNode();retu

6、rn ID;yytext,yyleng:词素字符串 yylineno:%option yylineno yylval:全局变量，当前词法单元的属性值%union int val;char*str;struct Node*pNode;保留字和标识符保留字和标识符%Declarations%Definitions%Rules%subroutines文法文法二义性二义性:操作符优先级与结合性操作符优先级与结合性%Declarations%Definitions /优先级优先级与结合与结合性性%Productions%subroutines%right ASSIGNOP%left AND%left R

7、ELOP%left PLUS MINUS%left STAR DIV%right NOT UMINUS%left DOT LB RB LP RPExp|MINUS EXP%prec UMINUS文法文法二义性二义性:IF-ELSE配对配对Stmt:IF LP Exp RP Stmt|IF LP Exp RP Stmt ELSE Stmt%nonassoc IFX%nonassoc ELSEStmt:IF LP Exp RP Stmt%prec IFX|IF LP Exp RP Stmt ELSE Stmt语法语法树创建与打印树创建与打印v多叉树的构建：多叉树的构建：Exp:ID$=create

8、Node($1);Exp:MINUS EXP$=createNode($1,$2);#include struct Node*createNode(int arity,);v递归层次的前序遍历递归层次的前序遍历文法符号结点的数据结构文法符号结点的数据结构v保存的信息：保存的信息：struct Node ;结点类型：非终结符，终结符(数,标识符)结点名字：Exp，TYPE，ID所在行号：%option yylineno字符串属性值：TYPE.int，ID.lexeme数值属性值：INT，FLOAT多叉多叉树树孩子孩子：int arity,struct Node*childrenN;/vector

9、-(可扩展可扩展)语法解析的错误恢复产生式语法解析的错误恢复产生式vBison在当前状态对yylex()返回的token没有定义 时即发生了语法错误，调用yyerror:yyerror(char*str)printf(“syntax errorn”);vBison不断丢弃词法单元直至遇到不断丢弃词法单元直至遇到同步同步 单元单元(例如例如：分号，右括号分号，右括号)v机制：错误恢复产生式机制：错误恢复产生式Stmt:error SEMI参考资料参考资料vAho 编译原理：http:/ 编译原理：http:/www.stanford.edu/class/archive/cs/cs143/cs143.1128/handouts/050%20Flex%20In%20A%20Nutshell.pdfhttp:/www.stanford.edu/class/archive/cs/cs143/cs143.1128/handouts/120%20Introducing%20bison.pdfv指导攻略：http:/ v可变参数个数:http:/