[第4章语法分析.3..pptVIP

* 设句型为β： 1、先画出对应句型β的语法树； 2、找出该语法树中所有相邻终结符之间的优先关系。 语法树确定相邻终结符之间优先关系的原则如下： ① 同层：优先关系为“=”； ② 不同层：层次在下的优先级高，层次在上的优先级低； ③ 在句型β两侧加上语句括号“#”，即#β#， 则有：# β 和 β #。 3、按最左素短语必须具备的三个条件来确定最左素短语。 语法树法查找最左素短语 4.6 算符优先分析法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * G[E]：(1) E→E+T(2) E→T(3) T→T*F(4) T→F(5) F→(E)(6) F→i 短语有：T+T*F+i，T+T*F， T，T*F，i 最左素短语为：T*F 【例】#i1*(i2+i3)# ∵ #i1*(i2+i3)# ∴ i1，i2，i3是素短语；i1是最左素短语。 ＃+*+i＃ 【例】句型 #T+T*F+i# 4.6 算符优先分析法 E T i E T + E T + T F * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 根据最左素短语的定理，最左素短语中的终结符号具有相同的优先关系。并且，由于最左素短语中的符号是当时最先要归约的串，其优先关系先于最左素短语之外的符号，所以我们使用一个用于存放文法符号的先进后出栈，并利用优先关系表，可以确定最左素短语是否已形成来决定分析器的动作。 算符优先分析程序的设计 4.6 算符优先分析法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 4.6 算符优先分析法 算符优先分析算法描述 k=1,s[k]=‘#’ ;//s为符号栈，‘#’压入栈，s[k]为栈顶项 do{ a=getsym( );//读入下一个符号给a if(s[k]∈VT ) j=k; else j=k-1; while(s[j] a){ do{//在栈中寻找满足的s[j]s[j+1]=…=s[k]a的s[j+1]， 即最左素短语的头 Q= s[j] ; if(s[j-1]∈VT) j=j-1; else j=j-2; } while(s[j]=Q) s[j+1]…s[k]?N; //归约最左素短语 k=j+1; s[k]=N;}//end of while if(s[j]a||s[j]=a){k=k+1;s[k]=a;} //移进 else error}while(a!=‘#’ || 符号栈中不是#S) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 寻找满足的s[j]s[j+1]＝…= s[k]a的s[j+1]，即最左素短语的头。 向栈中移进符号， 以形成最左素短语。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 4.6 算符优先分析法 算符优先分析算法举例 【例】设文法G[E]： E→E+T | E→T T→T*F | T→F F→(E) | F→i 试用算符优先分析法分析句子i+i*i 1.每次规约当前句型的最左素短语 2.不一定是规范规约 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose