编译原理(第五章).pptVIP

第5章 自顶向下的语法分析 5.1 确定的自顶向下分析思想 5.2 LL(1)文法的判别 5.3 一些非LL(1)文法到LL(1)文法的等价变换 5.4 不确定的自顶向下分析思想 5.5 确定的自顶向下分析方法 1) 递归子程序法 2）预测分析法 5.1 确定的自顶向下分析思想 基本思想：从文法的开始符号出发，根据当前的输入符号，唯一选用产生式替换相应的非终结符进行推导，直到推导出所给定的符号串为止。 要点： 由根向下构造语法树 构造最左推导 推导出的终结符是否与当前输入符匹配 例5.1 P75 文法的两个特点：P75-76 根据上述文法特点，在推导的过程中，依据当前的输入符号，唯一决定选择哪个产生式进行推导，因此分析过程是确定的。 例5.2 P76 文法的三个特点：P76 对于产生式左部相同，右部符号为非终结符时，如何选择哪个产生式推导？ 思路：从产生式右部推出的所有第一个终结符集合，作为产生式选择的依据。 定义5.1设G=(VT,VN,P，S)是上下文无关文法 FIRST（?）={a|? =* a?,a∈VT, ?, ?∈V*} 若? =* ε则规定ε∈FRIST（?） 对于左部相同的产生式，如果右部的FIRST集两两不相交，仍能采用确定的自顶向下分析法。 例5.3 P77 文法的特点：含有空产生式。 由于FIRST集含有ε，不能作为选择产生式的依据。 思路：在含有空产生式左部非终结符的所有句型中，紧跟该非终结符后面的所有第一个终结符集合，作为产生式选择的依据。 定义5.2 设G=(VT,VN,P，S)是上下文无关文法 FOLLOW（A）={a?S =* ? A ?且a ∈ FRIST（?），? ∈V*， ?∈V+ } 若S =* u A ? ,且? =* ε，则#∈FOLLOW(A) 结论：文法中含有形如A → α、 A →β的产生式，如果α、 β不能同时推出空串，在满足一定的条件下（P77-78），仍能采用确定的自顶向下分析法。 定义5.3 Select集 P78 定义5.4 LL(1)文法 P78 LL(1)的含义： 例5.4 P78-79 5.2 LL(1)文法的判别 例5.5 P79 LL(1)文法的判别步骤： 一、求出文法中能推出ε的所有非终结符 一维数组X[ ] (表5.1 P80) 计算步骤： （1）-（4） P80 二、计算First集 1）根据定义计算 （1）-（5） P80-81 2) 关系图法 （1）-（4） P81 三、计算Follow集 1）根据定义计算 （1）-（3） P82 2) 关系图法 （1）-（6） P82-83 四、计算SELECT集 由定义5.3计算 Select集 表5.2 P83 五、LL(1)文法的判别 根据Select集 5.3 一些非LL(1)文法到LL(1)文法的等价变换 一、提取左公共因子 对于文法中含有Ａ? ?β|??形式两条产生式，其First集相交，不满足LL(1)文法的条件。 原因：产生式中含有左公共因子? 对Ａ? ?β|??可进行如下等价变换来消除左公共因子。 Ａ? ?β|?? 1）Ａ? ?（β|?）（提取左公共因子） 2） Ａ??B (增加一非终结符B) B?β|? 一般形式左公共因子的消除 (P85) 例5.6 – 5.9 P85-86 注意： 1）消除左公共因子，仅部分地解决了相同左部产生式右部的不相交问题，因此通过消除左公共因子，能将一些非LL(1)文法等价地转换为LL(1)文法。 2）对于一些含有左公共因子的文法，在有限步骤内消除左公共因子。 二、消除左递归 G[S]: S→Sa ?????? ?????? ??S→b L={ban | n≥1} W=baaa