《编译原理原理与技术》第3章 语法分析.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 在FRIST(T?)中，+, )和$在FOLLOW (T?) 中。 * * * * 3.6 语法分析器的生成器 3.6.1 分析器的生成器Yacc Yacc 编译器 Yacc源程序 translate.y y.tab.c C 编译器 y.tab.c a.out a.out 输入 输出 3.6 语法分析器的生成器 3.6.2 用Yacc处理二义文法 例 台式计算器 输入一个表达式并回车，显示计算结果 也可以输入一个空白行 3.6 语法分析器的生成器 %{ # include ctype .h # include stdio.h # define YYSTYPE double /? 将栈定义为double类型 ?/ %} ? %token NUMBER %left ‘+’ ‘?’ %left ‘?’ ‘/ ’ %right UMINUS %% 3.6 语法分析器的生成器 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.6 语法分析器的生成器 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 ; %% -5+10看成是-(5+10), 还是(-5)+10? 取后者 3.6 语法分析器的生成器 yylex ( ) { int c; while ( ( c = getchar ( ) ) == ‘ ’ ); if ( ( c == ‘.’ ) | | (isdigit (c) ) ) { ungetc (c, stdin); scanf ( “% lf ”, yylval); return NUMBER; } return c; } 3.6 语法分析器的生成器 3.6.3 Yacc的错误恢复 编译器设计者的工作 决定哪些“主要的”非终结符将有错误恢复与它们相关联 为各主要非终结符A加入形式为A ? error ?的错误产生式，其中?是文法符号串 为这样的产生式配上语义动作 Yacc把错误产生式当作普通产生式处理 3.6 语法分析器的生成器 遇到语法错误时 s . . . . . . 栈 . . . . . . . . . . . A 发现错误 s : C? ?1·A?2 A ?·error ? . . . s1 : C??1A·?2 . . . A s2 : A ?error·? . . . error ? 3.6 语法分析器的生成器 遇到语法错误时 从栈中弹出状态，直到发现栈顶状态的项目集包含形为A ?·error ?的项目为止 s . . . 栈 . . . . . . . . . . . A 发现错误 s : C? ?1·A?2 A ?·error ? . .