第五章 自顶向下语法分析(动).pptVIP

第5章自顶向下语法分析方法 引言 5.1 确定的自顶向下分析思想 5.2 LL(1)文法的判别 5.3 某些非LL(1)文法到LL(1)文法的等价变换 5.4 不确定的自顶向下分析思想 5.5 确定的自顶向下分析方法 引言 1、语法分析的地位 是编译程序的核心部分。 2、语法分析的任务 识别由词法分析得出的单词序列是否是给定文法的句子。 3、语法分析方法 自顶向下分析和自底向上分析 自顶向下分析包括确定分析和不确定分析 自底向上分析包括算符优先分析和LR分析 引言 4、语法分析的方式 1）自上而下语法分析 反复使用不同产生式进行推导以谋求与输入符号串相匹配。 2）自下而上语法分析 对输入符号串寻找不同产生式进行归约直到文法开始符号。 注：这里所说的输入符号指词法分析所识别的单词 引言 自顶向下分析法：也就是从文法的开始符号出发企图推导出与输入的单词串完全相匹配的句子，若输入串是给定文法的句子，则必能推出，反之必然出错。 引言 自上而下句型分析的要解决的关键问题 如何选择使用哪个产生式进行推导？　　假定要被替换的最左非终结符号是V，且左部为V的规则有n条：V→A1|A2|…|An，那么如何确定用哪个右部去替换V呢？ 如果能唯一确定用哪条产生式去推导，该分析即是确定的，反之即是不确定的分析法。 　　 5.1 确定的自顶向下分析思想 若有文法G1[S]:S → pA |qB A →cAd|a B →d B |b 识别输入串w= pccadd是否是G1[S]的句子？ 5.1 确定的自顶向下分析思想 G1[S]: S → pA |qB A →cAd|a B →d B |b 观察该文法，其具有以下两个特点： 　　① 每个产生式的右部都由终结符号开始。 　　② 如果两个产生式有相同的左部，那么它们的右部由不同的终结符开始。　 5.1 确定的自顶向下分析思想 若有文法G2[S]:　　S → Ap |Bq　 A →a|cA 　　B →b|dB　　识别输入串w=ccap是否是G2[S]的句子，那么试探推出输入串的推导过程为 ：　　 5.1 确定的自顶向下分析思想 G2[S]: S → Ap |Bq　 A →a|cA 　　B →b|dB 文法二的特点是：　　① 产生式的右部不全是由终结符开始。　　② 如果两个产生式有相同的左部，它们的右部是由不同的终结符或非终结符开始。　　③ 文法中无空产生式。 5.1 确定的自顶向下分析思想 FIRST集的定义 设G=(VT,VN,P，S)是上下文无关文法 FIRST ( ? ) ={a|? ? a?,a∈VT, ?, ?∈V*} 若? ? ε则规定ε∈FRIST ( ? ) ,称FIRST ( ? ) 为?的开始符号或首符号集。 在文法G2中， FIRST ( Ap) ＝{a,c} FIRST ( Bq) ＝{b,d} 5.1 确定的自顶向下分析思想 若有文法G3[S]:　　S → aA|d A →bAS|cA|ε　　识别输入串w=abd是否是G3[S]的句子　　试探推导出abd的推导过程为： 5.1 确定的自顶向下分析思想 文法的特点是： 1.文法中含有空产生式。 2.某一非终结符的产生式中含有空产生式时，它的非空产生式右部的首符号集两两不相交,紧跟该非终结符后边可能出现的终结符集也不相交 5.1 确定的自顶向下分析思想 FOLLOW集的定义 设G=(VT,VN,P，S)是上下文无关文法,A ∈ VN,S是开始符号。 FOLLOW（A）={a?S ? ? A ?且a ∈ FRIST（?），? ∈V*， ?∈V+ } 若S ? ? A ? ,且? ? ε，则#∈FOLLOW(A) 这里我们用#作为输入串的结束符 FOLLOW集的定义 也可定义为: FOLLOW(A)={a|S ?…Aa…,a ∈VT} 若有S ?….A,则规定# ∈FOLLOW(A) 因此当文法含有形如Ａ? α?β产生式时， 其中A∈ VN ，α、β ∈ V*，若α和β 不能同时推导出空，假定α不能推导出空， β推导出空，则当FIRST（α）∩(FIRST(β)∪FOLLOW(A))=?时，对于非终结符A的替换仍可唯一的确定候选。 定义SELECT集：给定上下文无关文法的产生式 Ａ? α， A∈ VN ，α、β ∈ V*， 若α? ?不成立，则SELECT(Ａ?α)=FIRST(α) 若α? ? 成立，则SELECT(Ａ?α) =(FIRST(α)-{?})∪FOLLOW(A) 什么是LL（1）文法? 一个上下文无关文法G是LL(1)的充分必要条件是，对