第三章语法分析 复习习题 优质课件.pptVIP

上下文无关文法 自上而下 自下而上 LL(1) 文法 2 个函数 递归下降 预测分析 非递归的 预测分析 最左推导 最右推导 ！ LR 文法 输 入 LR 分析程序 输 出 栈 LR 分析器的模型 action goto s m X m s m -1 X m -1 … s 0 … a 1 a i … a n $ 移进 - 归约分析 归约 移进 - 归约冲突 规约 - 归约冲 突 句柄 活前缀 右句型的前缀， 该前缀不超过最 右句柄的右端 1 。句柄与某个产生式的右部 符号串相同 2 。句柄是句型的一个子串 3 。把句柄归约成非终结符代 表了最右推导逆过程的 一步 简单的 LR 方法（ SLR ） 规范的 LR 方法 向前看的 LR 方法 (LALR ） 温故知新 2 语法分析部分回顾 自上而下分析的知识点 ? LL(1) 文法的判定 – FIRST 、 FOLLOW 集的计算 （重点） – LL(1) 文法判定方法 ? LL(1) 分析的实现方法 – 递归函数实现 – 非递归的预测分析实现 ? 先求 FIRST 、 FOLLOW 集 ? 画预测分析表 3 语法分析部分回顾 应用 LL(1) 分析方法的步骤 ? 判定文法是否是 LL(1) 文法 – 如果不是，则改写文法 ? 消除左递归 ? 提取左因子 – 如果改写后的文法是 LL(1) 的，那么进行 LL(1) 分析 ? 构造 LL(1) 分析算法 – 可以采用递归函数实现，也可以采用非递归的栈 式分析方法实现 4 文法 G: S-aSb | P P-bPc | bQc Q-Qa | a （ 1 ）它是 chomsky 哪一型文法？ （ 2 ）它生成的语言是什么？ （ 3 ）给出提取左因子、消除左递归之后的文法 （ 4 ）求出每个非终结符的 First 集和 Follow 集 （ 5 ）构建 LL （ 1 ）预测分析表 （ 6 ）文法 G 是否是 LL （ 1 ）文法 （ 7 ）利用非递归预测分析程序，验证 abacb 是否是 文法 G 描述的语言的句子 5 文法 G: S-aSb | P P-bPc | bQc Q-Qa | a （ 1 ）它是 chomsky 哪一型文法？ 答：它是 2 型文法，即上下文无关文法。 （ 2 ）它生成的语言是什么？ 答： {a i b j a k c j b i | i=0; j,k=1} 6 文法 G: S-aSb | P P-bPc | bQc Q-Qa | a （ 3 ）给出提取左因子、消除左递归之后的文法 答： S-aSb | P P- bP P -Pc | Qc Q- aQ Q - aQ | ? 7 S-aSb | P P- bP P -Pc | Qc Q- aQ Q - aQ | ? First(S)={a,b} First(P)={b} First(P )={a,b} First(Q)={a} First(Q )={a, ? } Follow(S)={$,b} Follow(P)={$,b,c} Follow(P )={$,b,c} Follow(Q)={c} Follow(Q )={c } （ 4 ）求出每个非终结符的 First 集和 Follow 集 8 （ 5 ）构建 LL （ 1 ）预测分析表 输入符号 非终结符 a b c $ S S-aSb S-P P P- bP P P -Qc P -Pc Q Q- aQ Q Q - aQ Q - ? 9 （ 6 ）文法 G 是否是 LL （ 1 ）文法 答：构建出的 LL （ 1 ）分析表不含有多重定 义的条目，因此文法 G 是 LL （ 1 ）文法。 10 （ 7 ）利用非递归预测分析程序，验证 abacb 是 否是文法 G 描述的语言的句子 栈 输入 输出