理学自顶向下语法分析方法.pptxVIP

第5章 自顶向下语法分析方法5.1 确定的自顶向下分析思想5.2 LL(1)文法的判别5.3 某些非LL(1)文法到LL(1)文法的等价变换5.4 不确定的自顶向下分析思想5.5 确定的自顶向下分析5.5.1 递归子程序法5.5.2 预测分析方法5.1 确定的自顶向下分析思想确定的自顶向下分析方法从文法的开始符号出发，考虑如何根据当前的输入符号惟一地确定选用哪个产生式替换相应的非终结符以往下推导，或如何构造一棵相应的语法树。由于对单词串是从左至右逐个读取，因此分析过程实际上是为输入串寻找一个最左推导。确定的自顶向下分析方法简单、直观，便于手工构造或自动生成语法分析器。对文法有一定的限制。5.1 确定的自顶向下分析思想例:文法G1[S]S→pAS→qBA→cAdA→aB→dBB→bW=pccadd#自顶向下的推导过程:观察文法产生式的特点5.1 确定的自顶向下分析思想例:文法G1[S]S→pAS→qBA→cAdA→aB→dBB→bW=pccadd#自顶向下的推导过程:S?pA?pcAd?pccAdd?pccadd语法树： S S S S S p A p A p A p A c A d c A d c A d c A d c A d a5.1 确定的自顶向下分析思想例:文法G1[S]S→pAS→qBA→cAdA→aB→dBB→b这个文法的特点：每个产生式的右部都由终结符号开始。如果两个产生式有相同的左部，那么它们的右部由不同的终结符开始。对于这样文法显然在推导的过程中完全可以根据当前的输入符号决定选用哪个产生式往下推导，因此分析过程是惟一确定的。5.1 确定的自顶向下分析思想例:文法G2[S]S→ApS→BqA→aA→cAB→bB→dBW=ccap#自顶向下的推导过程：观察文法产生式的特点5.1 确定的自顶向下分析思想例:文法G2[S]S→ApS→BqA→aA→cAB→bB→dBW=ccap#自顶向下的推导过程：S?Ap?cAp?ccAp?ccap语法树：S S S S S A p A p A p A p c A c A c A c A c A a5.1 确定的自顶向下分析思想例:文法G2[S]S→ApS→BqA→aA→cAB→bB→dB这个文法的特点：每个产生式的右部不全是由终结符号开始。如果两个产生式有相同的左部，那么它们的右部由不同的终结符或非终结符开始。文法中无空产生式。对于产生式中相同左部含有非终结符开始的产生式怎样选择使用哪个产生式进行推导出串cα (c?Vt ,α?V*) 5.1 确定的自顶向下分析思想定义：设G= (VT ,VN ,S,P) 是上下文无关文法，FIRST(α) = { a |α?* aβ, a∈VT,α,β∈V* }若α?*ε，则规定ε∈FIRST(α)例:文法G2[S]:S→ApS→BqA→aA→cAB→bB→dB求：FIRST(a) FIRST(cA) FIRST(Ap) FIRST(Bq) 5.1 确定的自顶向下分析思想定义：设G= (VT ,VN ,S,P) 是上下文无关文法，FIRST(α) = { a |α?* aβ, a∈VT,α,β∈V* }若α?*ε，则规定ε∈FIRST(α)例:文法G2[S]:S→ApS→BqA→aA→cAB→bB→dBFIRST(a) = { a }FIRST(cA) = { c }FIRST(Ap) = { a , c }FIRST(Bq) = { b , d }FIRST(Ap)∩FIRST(Bq)=?所以该文法仍可进行确定的自顶向下分析5.1 确定的自顶向下分析思想例：文法G3[S]:S→aAS→dA→bASA→εW=abd#试图推导的过程：S?aA?abAS?abS?abdS S S S S a A a A a A a A b A S b A S b A S ? ? d当某一非终结符的产生式中含有空产生式时，它的非空产生式的右部的首符号集两两不相交，并与在推导过程中紧跟该非终结符右边可能出现的终结符集也不相交，则仍可构造确定的自顶向下分析。5.1 确定的自顶向下分析思想定义：设 G = (VT , VN , S , P) 是上下文无关文法，