[第4章 语法分析.pptVIP

第四章 语法分析——自顶向下分析 第四章 语法分析——自顶向下分析 4.1自顶向下的分析方法 4.2.1 FIRST集合定义及构造方法 4.2.1 FIRST集合定义及构造方法 开始符号集合First(?)的意义 如果?是任意的文法符号串，则First(?)是从?推导出的串的首终结符集合。 由于c∈ First(Ap )，因此在例2中，当有字符串W=ccap，在进行自顶向下推导时，在产生式S →Ap与S → Bq中选取S →Ap 。 4.2.1 FIRST集合定义及构造方法 4.2.2 FOLLOW集合定义及构造方法 4.2.2 FOLLOW集合定义及构造方法 4.3 递归下降分析 4.3 递归下降分析 4.3.1 递归下降分析的基本方法 4.3.1 递归下降分析的基本方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.8. 由于相同左部的产生式的右部FIRST集交集不为空引起回溯。 例.文法G[S] ：S→xAy A→ab|a 4.9. 由于相同左部非终结符的右部能 ε 且该非终结符FOLLOW集中含有其右部FIRST集的元素。 例. 设文法G[S] : S→aAS A→bAS| ε  S→b 4.10. 由于文法含有左递归而引起回溯。 例. 已知文法G[S]: S→Sa S→b 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.3.2 递归下降分析中存在的问题及解决方法 4.4 LL(1)分析方法 4.4.1 LL(1)分析的基本方法 4.4.1 LL(1)分析的基本方法 4.4.1 LL(1)分析的基本方法 4.4.1 LL(1)分析的基本方法 4.4.1 LL(1)分析的基本方法 4.4.2 LL(1)分析表的构造方法 4.4.2 LL(1)分析表的构造方法 4.2.3 LL(1)分析的主要问题及解决方法 4.2.3 LL(1)分析的主要问题及解决方法 4.2.3 LL(1)分析的主要问题及解决方法 4.2.3 LL(1)分析的主要问题及解决方法 习题 习题 习题 习题 对于规则A ::= c{aB} , 分析程序如图4.3(b)所示。 对于规则B ::= a(A|ε) , FIRST(A)={c}，分析程序如图所示。 INPUTSYM=‘b’ INPUTSYM=‘a’ INPUTSYM=下一个符号 ERR INPUTSYM=下一个符号 A 出口 B Y Y N N INPUTSYM=‘a’ INPUTSYM=‘b’ ERR INPUTSYM=下一个符号 B 出口 A Y Y N N 图4.3(c)B分析程序 图4.3(b)A分析程序 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. LL(1)分析方法是常见的自顶向下分析，LL(1)分析使用一个下推栈而不是递归调用来完成分析。名称中第一个L表示自左向右顺序扫描输入符号串，第二个L表示分析过程产生一个句子的最左推导。括号中的1表示每进行一步推导，只需要向前查看一个输入符号，便能确定当前所应选用的规则。 4.4.1 LL(1)分析的基本方法 LL(1)分析器由一个总控程序、一张分析表和一个分析栈组成，如图4.4所示。 输入符号串： 分析栈 a1 a2 … … … … an # X Z S # LL（1） 总控程序 分析表 输出流 图4.4 LL(1)分析器模型 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 输入符号串:指要分析的输入符号串。为了分析算法的统一，我们需要在输入串的末尾放置一个特殊符号#，这个符号不属于终结符号集。 分