编译原理(5)(精品·公开课件).pptVIP

第5章 自顶向下语法分析方法 1） 确定的自顶向下分析思想及 LL(1)文法定义 FIRST集、FOLLOW集和SELECT集的定义 LL(1)文法定义（72页定义5.4） 2） LL(1)文法的判别（根据定义） FIRST集、FOLLOW集和SELECT集的计算 3） 不确定的自顶向下分析及 非LL(1)文法的改造 4） 确定的自顶向下分析方法 递归子程序法 预测分析方法 ( LL(1)分析法 ) 自上而下分析算法 要点： .由根向下构造语法树 .构造最左推导 .推导出的终结符是否与当前输入符匹配 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 确定的自顶向下分析思想及 LL(1)文法定义  FIRST集的定义 定义5.1 设G=(VT,VN,P，S)是上下文无关文法 FIRST（?）={a|? =* a?,a∈VT, ?, ?∈V* 若? =* ε则规定ε∈FRIST（?） 例: 5.1 确定的自顶向下分析思想及 LL(1)文法定义 FOLLOW集的定义 定义5.2 设G=(VT,VN,P，S)是上下文无关文法 FOLLOW（A）={a?S =* ? A ?且a ∈ FRIST（?）， ? ∈V*， ?∈V+ } 若S =* u A ? ,且? =* ε，则#∈FOLLOW(A) 例： 5.1 确定的自顶向下分析思想及 LL(1)文法定义  一个文法G能进行确定的自顶向下分析，当且仅当对于G的每一个非终结符Ａ的任何两个不同产生式Ａ? α?β，下面的条件成立： １．FIRST（α）∩FIRST(β)=?,也就是α?和β推导不出以同一个终结符a为首的符号串；它们不应该都能推出空字?． ２.假若β =* ?，那么， FIRST（α)∩FOLLOW（A）＝?. 也就是， 若β =* ?.则α所能推出的串的首符号不应在FOLLOW(A）中． 5.1 确定的自顶向下分析思想及 LL(1)文法定义  SELECT集的定义 定义5.3 设G=(VT,VN,P，S)是上下文无关文法，对P中的任一 产生式 A? ? , A∈VN , ?∈V* 若? ?*ε， 则SELECT(A? ?)= FRIST（?） 若? =*ε，则SELECT(A? ?)=( FRIST（?）-{ε})? FOLLOW(A) 如果对于G的每一个非终结符Ａ的任何两个不同产生式Ａ? α?β，都有 SELECT(A? ?)? SELECT(A? ?)= ? 其中? 、?不能同时=*ε。 就能对文法G进行确定的自顶向下分析。 如果对于G的每一个非终结符Ａ的任何两个不同产生式Ａ? α?β，都有 SELECT(A? ?)? SELECT(A? ?)= ?则能对文法G[S]进行确定的自顶向下分析。 S – Aa | bB SELECT(S – Aa)? SELECT(S – bB )= ? A –dB | ? SELECT(A –dB)? SELECT(A –? )= ? B – Ae | f SELECT(B – Ae)? SELECT(B – f )= ? 所以能对文法G[S]进行确定的自顶向下分析。 确定的自顶向下分析思想及 LL(1)文法定义  LL(1)文法定义 定义5.4 一个上下文无关文法是 LL(1)文法的充分必要条件是：对于G的每一个非终结符Ａ的任何两个不同产生式Ａ? α?β，满足 SELECT(A? ?)? SELECT(A? ?)= ? 其中? 、?不能同时=*ε。 例5.4 p72 5.2 LL(1)文法的判别计算FIRST集(方法1） 1.若X?V?,则FIRST(X)={X} 2.若X?VN,且有产生式X?a…，则把a加入到FIRST(X)中;若X??也是一条产生式,则把?也加到FIRST(X)中. 3.若X?Y…是一个产生式且Y?VN,则把FIRST(Y)中的所有非?元