实验3LR语法分析.ppt

Zhou, Erqiang 编译技术实验(3) LR 语法分析 周尔强 2015年10月 实验报告提交 Zhou, Erqiang * School of Information and Software Engineering 实验上传网址 用户名：身份证后6位 + 学号后6位 中间没有 + 上传后一定确认无误后再提交 一旦提交，便无法更新 1:8880/experiment/Login/login.xhtml 关于Bison/Yacc Yacc (Yet Another Compiler Compiler) Yacc是生成语法分析器的工具 Bison 是 GNU 版本的 Yacc Bison会自动生成一个语法分析器 Zhou, Erqiang * School of Information and Software Engineering 关于Bison/Yacc Zhou, Erqiang * School of Information and Software Engineering a = b + c * d id = id + id * id 词法分析器 语法分析器 源程序 词法记号序列 抽象语法树 Flex Bison 词法规则 （正则表达式） 语法规则 （文法） 代码生成 = id (a) + id (b) * id (c) id (d) 词法分析器与语法分析器的交互 flex: yylex() Bison: yyparser() 语法分析器yyparser需要下一个新单词时，调用词法分析子程序yylex，yylex从输入串中识别一个单词后返回。 关于Bison/Yacc Zhou, Erqiang * School of Information and Software Engineering 既然yyparser要处理 yylex的返回值 需要对yylex的返回值进行约定 在Bison源文件中定义 %token NUMBER 生成语法分析器时使用 -d 参数生成 xxx.tab.h 即 bison -d xxx.y 得到 xxx.tab.h 和 xxx.tab.c 其中 xxx.tab.h中有 #define NUMBER 258 该头文件需要被包含进 xxx.l 的定义部分 关于Bison/Yacc Zhou, Erqiang * School of Information and Software Engineering 关于Bison/Yacc Zhou, Erqiang * School of Information and Software Engineering y.tab.c (yyparser) lex.yy.c (yylex) 其它源程序 gcc 编译 Bison Flex calc.y calc.l y.tab.h calc.exe bison –d calc.y // 生成 y.tab.h, y.tab.c flex calc.l // 生成 lex.yy.c, calc.l中要include y.tab.h gcc lex.yy.c y.tab.c –o calc.exe // 编译、链接 yylex的返回的是词法记号（单词编号） 而一词法记号有相应的属性：标识符、常数等 词法记号的属性值如何返回？ 语法分析器如何访问 token 的属性？ 约定使用全局变量 yylval yylval 的类型默认为整数类型，用户可自己定义 一般定义为 union 类型 关于Bison/Yacc Zhou, Erqiang * School of Information and Software Engineering ... 定义 ... %% ... 语法规则（文法及对应的处理） ... %% ... 函数定义 ... 其中： 定义部分的C源代码需要放在 %{ 与 %} 之间 Bison 文件的结构 Zhou, Erqiang * School of Information and Software Engineering LR 分析举例（一） Zhou, Erqiang * School of Information and Software Engineering %{ #include stdio.h int yylex(void); void yyerror(char *); %} %token NUMBER %% 语法部分 %% voi