第11讲-语法分上析-vi.pptVIP

中国科大 最左推导与自上而下分析 自上而下分析 对应着应用最左推导构建语法树的过程 最左推导与自上而下分析 自上而下分析，可以使用最右推导吗？ 自下而上分析 从给定的句子开始，希望把句子归结为开始符号 后面会看到 最右推导，使用于自下而上分析 自下而上分析，对应最右推导的逆过程 引入归约的概念 归约，是推导的逆过程 本讲纲要 自下而上分析概述 自下而上分析方法 LR分析器 自下而上分析概述 重要概念 归约 句柄 3.4 自下而上分析 3.4.1 归约 例 S ? aABe A ? Abc | b B ? d 3.4 自下而上分析 3.4.1 归约 例 S ? aABe A ? Abc | b B ? d abbcde 3.4 自下而上分析 3.4.1 归约 例 S ? aABe A ? Abc | b B ? d abbcde aAbcde 3.4 自下而上分析 3.4.1 归约 例 S ? aABe A ? Abc | b B ? d abbcde aAbcde aAde 3.4 自下而上分析 3.4.1 归约 例 S ? aABe A ? Abc | b B ? d abbcde aAbcde aAde aABe 3.4 自下而上分析 3.4.1 归约 例 S ? aABe A ? Abc | b B ? d abbcde aAbcde aAde aABe S 归约 归约，是自下而上分析中的重要动作 归约，对应着最右推导的逆过程 3.4 自下而上分析 3.4.2 句柄: 和某产生式右部匹配的子串 S ? aABe A ? Abc | b B ? d S ?rm aABe ?rm aAde ?rm aAbcde ?rm abbcde 3.4 自下而上分析 3.4.2 句柄 句柄性质： S ?rm aABe ?rm aAde ?rm aAbcde ?rm abbcde 句柄的右边仅含终结符。 如果文法二义，那么句柄可能不唯一。 句柄 句柄的非形式定义 句型的句柄，是该句型中与一个产生式右部匹配的字符串 句柄 句柄的精确定义 右句型 ? 的句柄是一个产生式的右部 ? ，并且该句柄 ? 在用A替换?中的句柄?之后，得到的是最右推导中的前一个句型 令? = ? ? ω，则?可以通过产生式A- ? 归约为句型 ?Aω 句柄 句柄的特性 句柄的右边都是终结符（或者句柄右边没有任何符号） 例：设文法G(S)： (1) S ? aAcBe (2) A ? b (3) A ? Ab (4) B ? d 试对abbcde进行“移进－归约”分析。 本讲纲要 自下而上分析概述 自下而上分析方法 LR分析器 3.4 自下而上分析 3.4.3 用栈实现移进?归约分析 分析器的四种动作： 移进动作 把下一个输入符号压栈。 归约动作 分析器知道整个句柄已经完全出现在栈顶，它确定句柄的左端在栈中的位置，再决定采用哪个非终结符来代替句柄（即确定使用哪个产生式）。 接受动作 分析器宣告分析成功。 报错动作 分析器发现了语法错误，调用错误恢复例程。 3.4 自下而上分析 3.4.3 用栈实现移进?归约分析 通过移进?归约分析器在分析输入串id1 * id2 + id3时动作序列来了解移进?归约分析的工作方式。 分析的方法 处理的对象：句子（由终结符组成的串） 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 分析的过程 所有的步骤与动作 3.4 自下而上分析 使用移进?归约方式，即使知道了应该进行归约，也还有两个问题必须解决，他们是 确定右句型中将要归约的子串 如何确定选择哪一个产生式 3.4 自下而上分析 3.4.4 移进?归约分析的冲突 移进?归约冲突 3.4 自下而上分析 归约?归约冲突 stmt ? id (parameter_list) | expr := expr parameter_list ? parameter_list, parameter | parameter parameter ? id expr ? id (expr_list) | id expr_list ? expr_list, expr | expr 本讲纲要 自下而上分析概述 自下而上分析方法 LR分析器 LR分析器 LR分析器处理的是一