第5章 自顶向下语法分析方法(lly)3.pptVIP

第5章 自顶向下语法分析方法 考查重点 自上而下语法分析的基本思想 求FIRST、FOLLOW、SELECT集合的方法 提取左公因子与消除左递归的方法 递归下降分析程序的构造 LL(1)文法的判定，分析表的构造与输入串的分析过程 语法分析的任务 语法分析是编译过程的核心部分。 语法分析的作用：识别由词法分析输出的单词序列是否符合该语言的文法（？）正确句子（程序）。 分析方法 自顶向下分析法(确定与不确定 ) 从推导的角度看，从识别符号出发，试图推导出与输入符号串相同的符号串。一般来讲，推导是最左推导。 构造推导的关键问题: ????? 在构造最左推导的过程中,面对当前读入的单词符号(向前看符号)和当前被替换的非终结符两者,应该选择这个非终结符的哪条候选式去替换它(推导)。 自底向上分析法（算符优先、LR分析器） 5.1 确定的自顶向下分析思想 确定的自顶向下的分析方法 ???? 在推导过程中，可以完全根据向前看符号唯一决定选择哪个产生式往下推导，因此,分析过程是完全确定的。这种分析称为确定的自顶向下分析方法。 特征——根据下一个输入符号为当前要处理的非终结符选择产生式 要求——文法是LL(1)的 第一个L从左到右扫描输入串 第二个L?生成的是最左推导 向前看一个输入符号（lookahead) 例1： 文法G1[S]:S→pA|qBA→cAd|aB→dB|b 分析能确定推导原因： 前提：2型文法中无空产生式 在文法中，对于每个非终结符A的定义 ? A→α1|α2|...|αn? 任给i,j(1≤i,j≤n,ij),从αi和αj推导出来的第一个终结符号集合(称为开始符号集FIRST)不相交,即:FIRST(αi)∩FIRST(αj)=Φ 结论 ：? 在推导过程中完全可以根据向前看符号是属于哪个产生式右部的开始符号集合而决定选择相应的产生式进行推导，因此，分析过程是完全确定的。 FIRST定义：设 G = (VT ,VN , S , P) 是2型文法，FIRST(α) = {a|α aβ,a∈ VT,α,β ∈ V*}若α ε，则规定ε∈FIRST(α) 直观定义理解： FIRST(α)={a｜α a … … ，a∈ＶT?} FIRST(α)包含了α对应的串的所有可能的首终结符号集(选择产生式的依据) 例3 文法G3[S]:S→aAS→dA→bASA→ε FOLLOW(A)定义：设 G = (VT ,VN , S , P) 是上下文无关文法，A∈VN , S是开始符号。 FOLLOW(A) = {a|S ?A?且a∈FIRST(?), ?∈VT*,?∈V+ } 若S ?A?,且? ε，则规定 #∈FOLLOW(A) 直观定义理解：? FOLLOW(A)={a｜S …Aa…，a∈ＶT?} 若S … … A，则规定 #∈FOLLOW(A) #作为输入串的结束符，或称为句子括号，如： #输入串# FOLLOW(A)表示句型中可能紧跟在A后面的终结符号 例：G3[S]: S→aA|d A→bAS|ε 求FOLLOW(A) =？ 2型文法中对于 A→α A→β其中A∈VN , α,β∈VN*， 当α和β不同时推导出空时（设 α不推导出空，β推导出空），则当FIRST(α)∩(FIRST(β)∪FOLLOW(A))=Φ时，对于非终结符A的替换仍可唯一地确定候选。 SELECT定义：给定上下文无关文法的产生式A→α，A∈VN , α∈V*， 若α ε，则SELECT(A→α)=FIRST(α) 如果α ε，则 SELECT(A→α)={FIRST(α)-{ε}}∪FOLLOW(A) P72 SELECT(A→α) 表示选择此产生式得到的终结符号集 定义：一个上下文无关文法是LL(1)文法充要条件：对每个非终结符A两个不同产生式A→α和A→β，满足：SELECT(A→α)∩SELECT(A→β)=Φ其中α,β不能同时 ε 第一个L：自顶向下分析是从左向右扫描输入串。 第二个L：分析过程中将用最左推导。 1：只需向右看一个符号可决定选择哪个产生式进行推导。 例：文法G[S]是否是LL(1)文法? S→aA|d A→bAS|ε 例：设文法G[S] 为:S→aAS|bA→bA|ε 5.2 LL(1)文法的判别 求出能推出ε的非终结符 计算FIRST集 计算FOLLOW集 计算SELECT集 判别是否是LL(1)文法 1