[电脑基础知识]05-LL1文法及其分析程序.pptVIP

编译原理 第五章 自顶向下语法分析 主要内容 本章学习目标 5.1 LL(1)文法 ? FIRST和FOLLOW集定义和计算 ? LL(1)文法定义 ? LL(1)分析程序的生成 5.2 自顶向下的分析方法 5.3 非LL(1)文法的改造 小结本章 重点习题解析 思考＆练习 相关术语的回顾（英文版） 本章学习目标 　一．学习目标 理解语法分析器的功能 掌握自上而下的分析方法 LL(1)文法的相关定义First、Follow、Select集 LL(1)文法的判定 LL(1)文法的分析 了解非LL(1)文法的改造 二．课程安排 3学时 语法分析概述 一、语法分析的功能 语法分析是编译原理的核心部分，其作用是识别由词法分析给出的单词符号序列是否是给定文法的正确句子。 二、语法分析器在编译程序中的地位（一遍扫描） 语法分析概述 三、语法分析方法 通常把语法分析方法分为两大类： 自上而下分析与自下而上分析。 本章知识结构 自上而下分析 要点： .由根向下构造语法树 .构造最左推导 .推导出的终结符是否与当前输入符匹配 S aaab A B a A S – AB A – aA | ? B – b | bB aaab. S ?AB S – AB ?aAB A – aA ?aaAB A – aA ?aaaAB A – aA ?aaa ? B A – ? ?aaab B – b 自上而下分析－例5.1 若有文法G1[S]: S →pA|qB, A →cAd|a, B →dB|b 若输入串W=pccadd， 则自顶向下的推导过程为：S ?pA ?pcAd ?pccAdd ?pccadd 文法的特点： 每个产生式的右部都由终结符开始； 若两个产生式有相同的左部，那么他们的右部由不同的终结符开始。 结论： 这样的文法在推导过程中，完全可以根据当前的输入符号决定选择哪个产生式，因此分析过程是唯一确定的。 自上而下分析－例5.2 构造最左推导(自顶向下） 若有文法G2[S], S→Ap|Bq?? A→cA|a? B→dB|b 输入串：w=ccap, 则推导过程为：S ?Ap ?cAp ?ccAp ?ccap 文法特点： 产生式的右部不全是由终结符开始； 如果两个产生式有相同的左部，他们的右部是由不同的终结符或非终结符开始 文法中无空产生式； 结论:在推导过程中完全可以根据向前看符号是属于哪个产生式右部的开始符号集合（First（a）引出）而决定选择相应的产生式进行推导，因此，分析过程是完全确定的。 自上而下分析－例5.3 若有文法G[S]， S→aB|d ?? B→bBS|ε 若输入串w=abd，则构造最左推导的过程如下：S ?aB ?abBS ?abS ?abd 注：把紧跟非终结符A的终结符号集记作FOLLOW(A)。 结论 –在构造最左推导的过程中，使用A→ε候选式替换A去推导的条件： –向前看符号a不出现A的所有非空候选式的FIRST集合中； –向前看符号a应该出现在FOLLOW(A)中。 P77:当文法中有形如A→α|β的产生式时， α、β不同时推导出空时，设α推导不出空， β推导出空， 则A的替换可唯一确定的条件： FIRST(α)∩(FIRST(β)∪FOLLOW(A))= Φ 带回溯的自上而下分析 S – AB A – aA | ? B – b | bB a a a b b. S (1) ?A... S – AB (2) ?aA... A – aA (3) ?aaA... A – aA (4) ?aaaA... A – aA (5) ?aaa ? B... A – ? (6) ?aaab B – b aaabb. S (1) ?A... S – AB (2) ?aA... A – aA (3) ?aaA... A – aA (4) ?aaaA... A – aA (5) ?aaa ? B A – ? (6’) ?aaa b B B – bB (7) ?aaabb B – b LL（1）文法 自顶向下包括确定分析（无回溯）和不确定分析（带回溯