第三章语法分析-复习+习题.pptVIP

中国科大 语法分析部分回顾 自上而下分析的知识点 LL(1)文法的判定 FIRST、FOLLOW集的计算（重点） LL(1)文法判定方法 LL(1)分析的实现方法 递归函数实现 非递归的预测分析实现 先求FIRST、FOLLOW集 画预测分析表 语法分析部分回顾 应用LL(1)分析方法的步骤 判定文法是否是LL(1)文法 如果不是，则改写文法 消除左递归 提取左因子 如果改写后的文法是LL(1)的，那么进行LL(1)分析 构造LL(1)分析算法 可以采用递归函数实现，也可以采用非递归的栈式分析方法实现 文法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描述的语言的句子 文法G: S-aSb | P P-bPc | bQc Q-Qa | a （1）它是chomsky哪一型文法？ 答：它是2型文法，即上下文无关文法。 （2）它生成的语言是什么？ 答：{aibjakcjbi | i=0; j,k=1} 文法G: S-aSb | P P-bPc | bQc Q-Qa | a （3）给出提取左因子、消除左递归之后的文法 答： S-aSb | P P-bP’ P’-Pc | Qc Q-aQ’ Q’-aQ’ | ? S-aSb | P P-bP’ P’-Pc | Qc Q-aQ’ Q’-aQ’ | ? （5）构建LL（1）预测分析表 （6）文法G是否是LL（1）文法 答：构建出的LL（1）分析表不含有多重定义的条目，因此文法G是LL（1）文法。 （7）利用非递归预测分析程序，验证abacb是否是文法G描述的语言的句子 语法分析部分回顾 例2 文法G[E]: E- [ T T- TE | F ] F- a | aF (1) 判断这个文法是不是LL(1)的？ (2) 消除左递归、提取左因子之后的文法G’是否是LL(1)的？ 语法分析部分回顾 例1 解答： 提取左因子，消除左递归后 文法变为G’[E]: E- [ T T-F] T’ T’-ET’ | ? F-aF’ F’-F | ? 语法分析部分回顾 FIRST(E) = {[} FIRST(T) = {a} FIRST(T’)= {[, ?} FIRST(F) = {a} FIRST(F’)= {a, ?} FOLLOW(E)={[,$} FOLLOW(T)={[,$} FOLLOW(T’)={[,$} FOLLOW(F)={]} FOLLOW(F’)={]} 语法分析部分回顾 左递归的消除 G[S]: S-Qc|c Q-Sa|a 这是一类间接左递归 S-Sac|ac|c Q-Sa|a 语法分析部分回顾 左递归的消除 G[S]: S-Qc|c Q-Sa|a 这是一类间接左递归 S-acS’| cS’ S’-acS’| ? Q-Sa|a 语法分析部分回顾 LR分析部分的知识点 活前缀 识别活前缀的DFA 分析表 分析算法 语法分析内容总结 自下而上分析部分知识点 SLR的DFA的构造及分析表的构成 初始项目集合的产生（拓广文法） 能够识别同一符号的项目都转移到同一集合中 求闭包过程中每一个“.”后面的非终结符都要重新考虑是否已经在状态中列出 对产生式A- ? 归约，“ri”写在FOLLOW(A)集合中元素对应的位置。 语法分析内容总结 自下而上分析部分知识点 LR,LALR的构造方法（在SLR的基础上加上搜索符） 搜索符的求法，根据造成目前项目出现的那个父项目来求。 求闭包的过程中可能出现要添加的项目已经存在，但是搜索符不同的情况，相当于其父项目已经改变，此时需要再求一遍搜索符。 语法分析内容总结 自下而上分析部分知识点 SLR,LR,LALR的区别及判别方法 通过构造DFA，看其中的状态是否有冲突（“移进—归约” 或 “归约—归约”）若有冲突则不属于该文法类型。 通过构造分析表，看其中某项是否有冲突。 文法类的层次图 语法分析