com0303-04西安电子科技大学编译原理课件.pptVIP

上次课程内容回顾 3.4 自上而下语法分析3.4.1 自上而下分析的一般方法 3.4.1 自上而下分析的一般方法（续1） 3.4.2 消除左递归 1 消除文法的直接左递归(续1) 1 消除文法的直接左递归(续1) 1 消除文法的直接左递归(续2) 2 消除文法的左递归 2 消除文法的左递归（续1） 3.4.3 提取左因子 3.4.3 提取左因子（续1） 3.4.4 递归下降分析 文法的状态转换图 ： 状态图的化简： 状态图的化简（续1） 3 递归下降子程序 3 递归下降子程序（续） 结束（2005年3月28日） 上次课程内容回顾 3.4.5 预测分析器 3.4.5.1 非递归预测分析器的工作模式 1 预测分析表 2 工作方式 3 驱动器算法 4 用预测分析器分析句子 4 用预测分析器分析句子（续） 3.4.5.2 构造预测分析表 3.4.5.2 构造预测分析表（续1） 3.4.5.2 构造预测分析表（续2） 3.4.5.2 构造预测分析表（续3） 3.4.5.2 构造预测分析表（续4） 3.4.5.2 构造预测分析表（续5） 3.4.5.3 LL(1)文法 3.4.5.3 LL(1)文法（续1） 3.4.5.3 LL(1)文法（续2） 3.4.5.3 LL(1)文法（续3） 3.4.5.3 LL(1)文法（续4） 结 束（2005年3月30日） M[A,a]的作用：指导产生式产生句子（指导推导） 问题：是否为任意文法构造的分析表M[A,a]中都最多有一个条目？ 例3.23 二义文法文法的预测分析表： 文法： S→iCtSS|a S→eS|ε C→b ? a b e i t # S ? ? ? ? S ? ? ? ? C ? ? ? ? ? 预测分析表： FIRST与FOLLOW集合： FIRST(C) = {b} FIRST(S) = {ε, e} FIRST(S) = {i, a} FOLLOW(S) = {#, e} FOLLOW(S)= {#, e} FOLLOW(C) = {t} a iCtSS b eS ε ε 定义3.12 文法G被称为是LL(1)文法，当且仅当为它构造的预测分析表中不含多重定义的条目。由此分析表所组成的分析器被称为LL(1)分析器，它所分析的语言被称为LL(1)语言。第一个L代表从左到右扫描输入序列，第二个L表示产生最左推导，1表示在确定分析器的每一步动作时向前看一个终结符。 ■ 判定LL(1)文法的方法：a.构造分析表； b.无需构造分析表。 推论3.2 G是LL(1)的，当且仅当G的任何两个产生式A→α|β满足: 对任何终结符a，α和β不能同时推导出以a开始的串； α和β最多有一个可以推导出ε； 若β=*ε,则α不能导出以FOLLOW(A)中终结符开始的任何串。 ■ 若条件1不满足，即存在终结符a，α和β同时推导出以a开始的串，则根据算法3.7步骤2，M[A，a]中有多重定义A→α和A→β； 若条件2不满足，即α和β均可推出ε串，则根据算法3.2步骤3，任何属于FOLLOW（A）的终结符b(包括#)，M[A，b]中有多重定义A→α和A→β ； 若条件3不满足，即存在终结符b，它既在FOLLOW(A)中，又在FIRST(α)中，则算法3.2步骤2把条目A→α加入到M[A，b]中，而步骤3又把条目A→β加入到M[A，b]中，即M[A，b] 中有多重定义A→α和A→β 。 ■ 根据推论3.2，有左递归和左因子的文法不是LL(1)文法。 为什么？（考虑算术表达式文法），二义文法呢？ 推论3.2 G是LL(1)的，当且仅当G的任何两个产生式A→α|β满足: 对任何终结符a，α和β不能同时推导出以a开始的串； α和β最多有一个可以推导出ε； 若β=*ε,则α不能导出以FOLLOW(A)中终结符开始的任何串。 ■ 证明： 推论3.2 G是LL(1)的，当且仅当G的任何两个产生式A→α|β满足: 对任何终结符a，α和β不能同时推导出以a开始的串； α和β最多有一个可以推导出ε； 若β=*ε,则α不能导出以FOLLOW(A)中终结符开始的任何串。 ■ E →TE (1) E→+TE|ε (2) (G3.4) T →FT (3) T→*FT|ε (4) F →(E) |-F|id (5)..(7) E→E+T|T T→T*F|F (G3.4) F→(E)|-F|id 文法(G3.4)不是LL(1)的，因为不满足条件1。 事实上：任何直接左递归必有公共左因子。（为什么？） 文法(G3.4)是LL(1)的，因为三个条件均满足。 具体判断请同学们自己做