编译原理课程第11讲.ppt

中国科大 3.7 分析器的生成器 3.7.1 分析器的生成器Yacc 3.7 分析器的生成器 Yacc程序包括三个部分 声明 ％％ 翻译规则 ％％ 支持例程 例---声明部分 %{ #include ctype.h /* 常量、变量的声明*/ %} %token DIGIT %% 例---翻译规则部分 line : expr ‘\n’ {printf(“%d\n”, $1);} ; expr : expr ‘+’ term {$$ = $1+$3;} | term ; term : term ‘*’ factor {$$ = $1 * $3;} | factor ; factor : ’(’ expr ‘)’ {$$ = $2;} | DIGIT ; %% 例---支持例程部分 yylex(){ int c; c = getchar(); if (isdigit(c)){ yylval = c – ‘0’; return DIGIT; } return c; } 3.7 分析器的生成器 3.7.2 用Yacc处理二义文法 解决分析动作冲突的两大默认规则： 对于归约-归约冲突，选择在Yacc 程序中最先出现的那个产生式归约 对于移进-规约冲突，优先移进 3.7 分析器的生成器 3.7.2 用Yacc处理二义文法 例 台式计算器 输入一个表达式并回车，显示计算结果。 也可以输入一个空白行。 3.7 分析器的生成器 %{ # include ctype .h # include stdio.h # define YYSTYPE double /* 将栈定义为double类型 */ %} ? %token NUMBER %left ‘+’ ‘?’ %left ‘*’ ‘/ ’ %right UMINUS %% 3.7 分析器的生成器 lines : lines expr ‘\ n’ {printf ( “%g \ n”, $2 ) } | lines ‘\ n’ | /* ? */ ; expr : expr ‘+’ expr {$$ = $1 + $3; } | expr ‘?’ expr {$$ = $1 ? $3; } | expr ‘*’ expr {$$ = $1 * $3; } | expr ‘/ ’ expr {$$ = $1 / $3; } | ‘(’ expr ‘)’ {$$ = $2; } | ‘?’ expr %prec UMINUS {$$ = ?$2; } | NUMBER ; %% 3.7 分析器的生成器 yylex ( ) { int c; while ( ( c = getchar ( ) ) = = ‘ ’ ); if ( ( c = = ‘.’ ) | | (isdigit (c) ) ) { ungetc (c, stdin); scanf ( “% lf ”, yylval); return NUMBER; } return c; } 3.7 分析器的生成器 3.7.3 Yacc的错误恢复 编译器设计者的工作 决定哪些“主要的”非终结符将有错误恢复与它们相关联 加入A ? error ? 的错误产生式，其中A是主要非终结符，?是文法符号串 为这样的产生式配上语义动作 Yacc把错误产生式当作普通产生式处理 3.7 分析器的生成器 遇到语法错误时 从栈中弹出状态，直到发现栈顶状态的项目集包含形为A ?·error ?的项目为止 把虚构的终结符error“移进”栈 若?为?，直接进行产生式规约，并执行相关的语义动作，忽略若干输入符号，直至发现能回到正常处理的符号为止。 若?不为?，找到?，把?移进栈把error ?归约为A，恢复正常分析。 3.7 分析器的生成器 lines : lines expr ‘\n’ {printf ( “%g \n”, $2 ) } | lines ‘\n’ | /? ? ?/ | error ‘\n’ {printf ( “重新输入上一行”); yyerrok;} ; 语法分析内容总结 文法和语言的基本知识 自上而下的分析方法：预测分析，非递归的预测分析，LL(1)文法 自下而上的分析方法：SLR(1)方法，规范LR(1)方法和LALR(1)方法 语法分析内容总结 自上而下分析 LL(1)文法判定原则 FIRST、FOLLOW集