第六章算符优先分析文法.pptVIP

第六章 自底向上优先分析 郑先容 回顾－简单优先分析法 回顾－简单优先分析法 简单优先分析算法的基本思想： 算符优先分析法 直观的算符优先分析法 算符优先分析法 区别是什么？ 算符优先关系的产生 优先关系的有序性 i ＋ i － i 因此 有＋ － i － i ＋ i 因此 有－ ＋ 优先关系的有序性 如果Ab或（bA）出现在算符文法的句型?中，其中A?VN， b ? VT，则?中任何含b的短语必含有A。 (2) ab当且仅当G中含有形如A→…aB…的产生式，且B?b…或B?Cb…; 求 = 关系 ∵ E’→#E# ∴ # = # ∵ P→(E) ∵ ( = ) 写入优先关系表 求 关系 求出每个非终结符B的FIRSTVT(B) 若A→…aB…，则?b∈FIRSTVT(B)，ab 求 关系 算符优先分析算法 归约过程中，只考虑终结符之间的优先关系来确定句柄，而与非终结符无关。这样去掉了单非终结符的归约，所以用算符优先分析法的规约过程与规范归约是不同的。 为解决在算符优先分析过程中如何寻找句柄，引进最左素短语的概念。 算符优先分析句型的性质 算符文法的任一句型有如下形式：#N1a1N2a2......NnanNn+1#, 若Niai......NjajNj+1为句柄，则有ai-1ai=ai=...= aj-1= aj ai+1 对于算符优先文法，若句型r中含有aNb(或ab) 若ab，则在r中必有含b而不含a的短语存在 若ab，则在r中必有含a而不含b的短语存在 若a=b，则在r中含有a的短语必含有b，反之亦然 最左素短语 定义：设有文法G[S]，其中句型的素短语是一个短语，它至少包含一个终结符，并除自身外不包含其它素短语，最左边的素短语称最左素短语。 例：文法G[E]: E→E+T|T T→T*F|F F→P↑F|P P→（E）|I 寻找句型#T+T*F+i#的最左素短语 对于上例，输入符号串i+i*i# ，算符优先规约过程 算符优先分析的局限性 由于算符优先分析法去掉了单非终结符之间的规约，但仍难完全避免把错误的句子得到正确的规约。 作业 P122 1题（1）、（2）、（4） 4题（1）、（2）、（3）、（4）、（6） 其中…表示V*中的符号串 LASTVT(B)={a|B?…a 或 B?…aC} 这里∵E’→#E#，E’? #E# E’→#E# E→E+T E→T T→T*F T→F F→P↑F F→P P→（E ） P→i + + 求LASTVT(E’) ∴ #∈LASTVT(E’) 此外，没有符合定义要求的元素包含在LASTVT(E’)中，即LASTVT(E’) ＝{#} 求LASTVT(E) 其中…表示V*中的符号串 LASTVT(B)={a|B?…a 或 B?…aC} E’→#E# E→E+T E→T T→T*F T→F F→P↑F F→P P→（E ） P→i 这里∵ E→E+T ， E? E+T ∴ + ∈LASTVT(E) 这里∵ E→T，T→T*F, E? T*F ∴ * ∈LASTVT(E) 这里∵E→T,T→F,F→P↑F,E?P↑F ∴ ↑∈LASTVT(E) 这里∵E→T,T→F,F→P, P→(E)|i, E?(E)且E?i ∴{ ),i}∈LASTVT(E) ={ +,*,↑,),i} 算符优先关系表 = # ) = ( i ↑ * + # ) ( i ↑ * + 算符优先关系表 = # ) = ( i ↑ * + # ) ( i ↑ * + 算符优先规约的关键 E E T + E + T F T T * F P i 句型#T+T*F+i#的短语有： T ； T*F ； T+T*F ； i； T+T*F+i . 句型#T+T*F+i#的语法树 设有文法G[S]，其中句型的素短语是一个短语，它至少包含一个终结符，并除自身外不包含其它素短语，最左边的素短语称最左素短语。 根据素短语的定义可知： i和T*F为素短语。 其中：T+T*F和T+T*F+i 不是素短语。T*F为最左素短语。 步骤 符号栈 输入符号串 优先关系 1） # i+i*i# #i 移进 2） #i +i*i# i+ 规约 3） #F +i*i