编译原理课件：第四章 语法分析 (4).pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * 4.7 分析器的生成器 遇到语法错误时 s . . . . . . 栈 . . . . . . . . . . . A 发现错误 s : C? ?1·A?2 A ?·error ? . . . s1 : C??1A·?2 . . . A s2 : A ?error·? . . . error ? 4.7 分析器的生成器 遇到语法错误时 从栈中弹出状态，直到发现栈顶状态的项目集包含形为A ?·error ?的项目为止 s . . . 栈 . . . . . . . . . . . A 发现错误 s : C? ?1·A?2 A ?·error ? . . . s1 : C??1A·?2 . . . A s2 : A ?error·? . . . error ? 4.7 分析器的生成器 遇到语法错误时 从栈中弹出状态，直到发现栈顶状态的项目集包含形为A ?·error ?的项目为止 把虚构的终结符error“移进”栈 s s2 . . . 栈 . . . . . . . . . . . A 发现错误 s : C? ?1·A?2 A ?·error ? . . . s1 : C??1A·?2 . . . A s2 : A ?error·? . . . error ? 4.7 分析器的生成器 遇到语法错误时 从栈中弹出状态，直到发现栈顶状态的项目集包含形为A ?·error ?的项目为止 把虚构的终结符error“移进”栈 忽略若干输入符号，直至找到?，把?移进栈 栈 . . . . . . . . . . . A s : C? ?1·A?2 A ?·error ? . . . s1 : C??1A·?2 . . . A s2 : A ?error·? . . . error ? s s2 . . . . . . 4.7 分析器的生成器 遇到语法错误时 从栈中弹出状态，直到发现栈顶状态的项目集包含形为A ?·error ?的项目为止 把虚构的终结符error“移进”栈 忽略若干输入符号，直至找到?，把?移进栈 把error ?归约为A，恢复正常分析 s s1 . . . 栈 . . . . . . . . . . . A s : C? ?1·A?2 A ?·error ? . . . s1 : C??1A·?2 . . . A s2 : A ?error·? . . . error ? 4.7 分析器的生成器 增加错误恢复的简单计算器 lines : lines expr ‘\n’ {printf ( “%g \n”, $2 ) } | lines ‘\n’ | /? ? ?/ | error ‘\n’{yyerror ( “重新输入上一行”); yyerrok;} ; 本 章 要 点 文法和语言的基本知识 自上而下的分析方法：预测分析，非递归的预测分析，LL(1)文法 自下而上的分析方法：SLR(1)方法，规范LR(1)方法和LALR(1)方法 LR方法如何用于二义文法 语法分析的错误恢复方法 例 题 1 下面的二义文法描述命题演算公式的语法， 为它写一个等价的非二义文法 S ? S and S | S or S | not S | p | q | (S) 非二义文法的产生式如下： E ? E or T | T T ? T and F | F F ? not F | ( E) | p | q 例 题 1 下面的二义文法描述命题演算公式的语法， 为它写一个等价的非二义文法 S ? S and S | S or S | not S | p | q | (S) 非二义文法的产生式如下： E ? E or T | T T ? T and F | F F ? not E | ( E) | p | q ? not p and q有两种不同的最左推导 例 题 1 下面的二义文法描述命题演算公式的语法， 为它写一个等价的非二义文法 S ? S and S | S or S | not S | p | q | (S) 非二义文法的产生式如下： E ? E or T | T not p and q T ? T and F | F not p and q F ? not E | ( E) | p | q ? not p and q有两种不同的最左推导 例 题 2 设计一个文法:字母表{a, b}上a和b的个数相 等的所有串的集合 二义文法：