自底向上的句法分析.ppt

《自底向上的句法分析.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、5自底向上的分析方法思想：从输入串出发，反复利用产生式进行归约，如果最后能得到文法的开始符号，则输入串是句子，否则输入串有语法错误。核心：寻找句型中的“可归约串”进行归约，用不同的方法寻找可归约串，就可获得不同的分析方法。移进-归约分析器思想：对输入符号串自左向右进行扫描，并将输入符号逐个移入一个后进先出栈中，边移入边分析，一旦栈顶符号串形成某个句型的可归约串时，（对应某产生式的右部），就用该产生式的左部非终结符代替该栈顶符号串，完成一次归约。重复这一过程直到归约到栈中只剩文法的开始符号时则为分析成功，也就确认输入串是文法的句子。动作移进：把下一个输入符号压栈成为栈顶。归约：语法分析器知道句柄

2、的右端已在栈顶。它必须在栈中确定句柄的左端，并选择正确的非终结符替代句柄。接受：语法分析器宣告分析成功。出错：语法分析器发现了一个错误，并调用错误恢复程序进行错误处理。例如，文法G[S]为：SaAbBAc∣AcBd试对输入串accbd进行分析，检查该符号串是否是G[S]的一个句子。对输入串accbd自底向上的分析过程步骤分析栈句柄输入串动作1#accbd#移进2#accbd#移进3#acccbd#归约(A→c)4#aAcbd#移进5#aAcAcbd#归约(A→Ac)6#aAbd#移进7#aAbd#移进8#aAbdd#归约(B→d)9#aAbBaAbB#归约(S→aAbB)10#S#接受S

3、aAbBAc∣AcBd自底向上构造分析树的过程在这里每一步的“可归约串”是句柄。句柄的“最左”特征，这一点对于“移进－归约”来说很重要，因为句柄的“最左”性和分析栈的栈顶两者是相关的。对于规范句型来说，句柄的后面不会出现非终结符。基于这一点，我们可用句柄来刻画“移进－归约”过程的“可归约串”。因此，规范归约的实质是，在移进过程中，当发现栈顶呈现句柄时就用相应产生式的左部符号进行替换(即归约)。句柄一个字符串的“句柄”是和一个产生式右部匹配的子串，而且把它归约到该产生式左部的非终结符代表了最右推导逆过程的一步。匹配某个产生式A右部的最左输入子串不一定是句柄，因为用这个产生式归约产生的

4、串不能归约成开始符号。如果文法是二义性的，则句柄不一定唯一，因为可能有不止一个最右推导。句柄裁剪句柄代表了由一个内节点和其所有子节点组成的最左简单子树。在句型中，把归约到一个非终结符A可以想象成“裁剪句柄”，即把语法树中内节点A的所有子孙节点删除。之后，A成为新的叶节点。通过“裁剪句柄”可以得到最右推导的逆过程。如果w是文法的一个句子，有：S=012n-1n=w为了构造推导的逆过程，关键是在i中寻找句柄i，并用产生式Aii的右部代替得到i-1i。修剪语法树实现归约优先分析法简单优先分析法对一个文法按一定原则求出该文法所有符号（终结符和非终结符）之间的优

5、先关系，按照这种关系确定归约过程中的句柄，它的归约实际上是一种规范归约。优先关系XY文法G中存在产生式A...XY...X<•Y文法G中存在产生式A...XB...，且B+Y...X•>Y文法G中存在产生式A...BD...，且B+...X,D*Y...例如，文法G[S]：(1)SbAb(2)A(B

6、a(3)BAa)关系：bA,Ab,(B,Aa,a)<•关系：由SbAb，且A+(B,A+a,有b<•(,b<•a；由A(B，B+A…,B+(B…,B+a…，有(<•A,(<•(,(<•a•>关系：由SbAb，且A+(B,A+a,A+…

7、),有B•>b,a•>b,)•>b；由BAa)，且A+(B,A+a,A+…),有B•>a,a•>a,)•>a。简单优先关系矩阵(1)SbAb(2)A(B

8、a(3)BAa)简单优先文法的定义满足以下条件的文法是简单优先文法（1）在文法符号集V中，任意两个符号之间最多只有一种优先关系成立。（2）在文法中任意两个产生式没有相同的右部。（3）不含空产生式。简单优先分析法(1)将输入符号串a1a2…an#依次逐个放入符号栈中，直到栈顶符号ai的优先性•>下一个待输入符号ai+1为止。(2)以当前栈顶符号ai为句柄尾，向下在栈中找句柄的头符号ak，即找到ak-1

9、右部为句柄ak…ai的产生式，若找到则用相应左部代替句柄，若找不到则为出错，输入串不是文法的句子。(4)重复(1)、(2)、(3)步骤直到规约完输入符号串，栈中只剩文法的开始符号为止。步骤符号栈输入符号串动作1）#b(aa)b##<•b,移进2）#b(aa)b#b<•(,移进3）#b(aa)b#(<•a,移进4）#b(aa)b#a•>a,归约A→a5）#b(Aa)b#A=a,移进6）#b(Aa)b