3.3 自上而下分析.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3.3 自上而下分析 3.3.6 预测分析的错误恢复 1、先对编译器的错误处理做一个概述 词法错误，如标识符、关键字或算符的拼写错 语法错误，如算术表达式的括号不配对 语义错误，如算符作用于不相容的运算对象 逻辑错误，如无穷的递归调用 3.3 自上而下分析 2、分析器对错误处理的基本目标 清楚而准确地报告错误的出现，并尽量少出现伪错误 迅速地从每个错误中恢复过来，以便诊断后面的错误 它不应该使正确程序的处理速度降低太多 3.3 自上而下分析 3、非递归预测分析在什么场合下发现错误 栈顶的终结符和下一个输入符号不匹配 a + b $ 输入 预测分析程序 分析表M 输出 X Y Z $ 栈 3.3 自上而下分析 3、非递归预测分析在什么场合下发现错误 栈顶是非终结符A，输入符号是a，而M[A , a]是空白 a + b $ 输入 预测分析程序 分析表M 输出 X Y Z $ 栈 3.3 自上而下分析 4、非递归预测分析：采用紧急方式的错误恢复 发现错误时，分析器每次抛弃一个输入记号，直到输入记号属于某个指定的同步记号集合为止 5、同步 词法分析器当前提供的记号流能够构成的语法构造，正是语法分析器所期望的 不同步的例子 语法分析器期望剩余的前缀构成过程调用语句，而实际剩余的前缀形成赋值语句 3.3 自上而下分析 6、同步记号集合的选择 把FOLLOW A 的所有终结符放入非终结符A的同步记号集合 3.3 自上而下分析 6、同步记号集合的选择 把FOLLOW A 的所有终结符放入非终结符A的同步记号集合 if expr then stmt （then和分号等记号是expr的同步记号） 3.3 自上而下分析 6、同步记号集合的选择 把FOLLOW A 的所有终结符放入非终结符A的同步记号集合 把高层构造的开始符号加到低层构造的同步记号集合中 3.3 自上而下分析 6、同步记号集合的选择 把FOLLOW A 的所有终结符放入非终结符A的同步记号集合 把高层构造的开始符号加到低层构造的同步记号集合中 a expr; if … 语句的开始符号作为表达式的同步记号，以免表达式出错又遗漏分号时忽略if语句等一大段程序 3.3 自上而下分析 6、同步记号集合的选择 把FOLLOW A 的所有终结符放入非终结符A的同步记号集合 把高层构造的开始符号加到低层构造的同步记号集合中 把FIRST A 的终结符加入A的同步记号集合 a expr; , if … （语句的开始符号作为语句的同步符号，以免多出一个逗号时会把if语句忽略了） 3.3 自上而下分析 6、同步记号集合的选择 把FOLLOW A 的所有终结符放入非终结符A的同步记号集合 把高层构造的开始符号加到低层构造的同步记号集合中 把FIRST A 的终结符加入A的同步记号集合 如果非终结符可以产生空串，若出错时栈顶是这样的非终结符，则可以使用推出空串的产生式 3.3 自上而下分析 非终 结符 输 入 符 号 id + ? . . . E E?TE? E? E??+TE? T T?FT ? T ? 出错 T ?? ? T ???FT ? . . . 例 栈顶为T ?，面临id时出错 3.3 自上而下分析 非终 结符 输 入 符 号 id + ? . . . E E?TE? E? E??+TE? T T?FT ? T ? 出错， 用T ?? ? T ?? ? T ???FT ? . . . T ?可以产生空串，报错并用T ??? 3.3 自上而下分析 同步记号集合的选择 把FOLLOW A 的所有终结符放入非终结符A的同步记号集合 把高层结构的开始符号加到低层结构的同步记号集合中 把FIRST A 的终结符加入A的同步记号集合 如果非终结符可以产生空串，若出错时栈顶是这样的非终结符，则可以使用推出空串的产生式 如果终结符在栈顶而不能匹配，弹出此终结符 习 题 3.8 3.10 3.14 * * * * * * * * * * * * 在FRIST T? 中，+, 和$在FOLLOW T? 中。 * * * * * * 中国科大 3.3 自上而下分析 3.3.1 自上而下分析的一般方法 例 文法 S ? aCb C ? cd | c 为输入串w acb建立分析树 S a C b S a C b c d S a C b c 不能处理左递归 3.3 自上而下分析 不能处理左递归的例子 算术表达文法 E ?