编译原理第六章.ppt

用关系图法求表达式文法终结符之间的小于关系 E T F P + * ↑ （ # （ + * ↑ i * 计算终结符之间大于关系的关系图 LAST关系有： E LAST T；T LAST F F LAST F；F LAST P LASTTERM关系有： E LASTTERM +；T LASTTERM * F LASTTERM ↑；P LASTTERM ） P LASTTERM i FOLLOWEDBY关系有： E FOLLOWEDBY #；E FOLLOWEDBY + E FOLLOWEDBY ）；T FOLLOWEDBY * P FOLLOWEDBY ↑ * 构造大于关系图的规则 对非终结符和终结符相邻关系的由非终结符结点到终结符结点画一箭弧。 对有LASTTERM关系的由终结符结点到非终结符结点画一箭弧。 对LAST关系的非终结符对，由后面的非终结符结点到前面的非终结符结点画一箭弧。 对每个终结符结点a凡有路径能到达另一个终结符结点b的，则有a·b关系存在。 * 用关系图法求表达式文法终结符之间的小于关系 E T F P # ) + * ↑ + * ↑ ) i * 算符优先分析算法 如果某个文法是算符优先文法，并且按照其产生式构造了算符优先关系表。就可以对任意给定的符号串进行规约分析，进而判定输入串是否为该文法的句子。 算符优先分析法的规约过程与规范规约是不同的。 规范规约是最右推导的逆过程。考虑到所有文法符号的规约。 * 算符优先分析句型的性质 算符文法的任何一个句型应该如下形式： #N1a1N2a2…NnanNn+1#,其中，N为非终结符，a为终结符。 若Niai…NjajNj+1为句柄，则该句柄中终结符之间的关系为： ai-1·ai；ai=·ai+1=·…=·aj-1=·aj； aj· aj+1 作为句柄，肯定能同时规约，所以，句柄中的终结符的优先性是相同的。 而句柄肯定要进行规约，所以，它的优先性要大于其之前和之后的终结符的优先性。 算符优先文法性质可得：如果aNb出现在句型γ中（即aNb为短语，短语即为句柄），则a和b之间有且只有一种优先关系即：若a·b，则在γ中必含有b而不含有a的短语存在；若a·b，则在γ中必含有a而不含有b的短语存在；若a=·b，则在γ中必含有a的短语必含有b，反之亦然。 算符优先文法规约过程中只考虑终结符，不考虑非终结符。 * 表达式文法中有一个输入串i+i#。其规范规约如下表 规范推导：E ?E+T ?E+F ?E+i ?T+i ?F+i ?i+i 步骤 栈 剩余输入串 句柄 规约产生式 1 # i+i# 2 #i +i# i F →i 3 #F +i# F T →F 4 #T +i# T E →T 5 #E +i# 6 #E+ i# 7 #E+i # i F →i 8 #E+F # F T →F 9 #E+T # E+T E→ E+T 10 #E # 接受 * 表达式的文法为：0、E‘→#E#；1、E→E+T；2、E→T；3、T→T*F；4、T→F；5、F→P↑F|P；6、P→（E）；7、P→i； 表达式文法中有一个输入串i+i#。算符优先规约如下表 步骤 栈 优先关系 当前符号 剩余输入串 动作 1 # · i +i# 移进 2 #i · + i# 规约 3 #F · + i# 移进 4 #F+ · i # 移进 5 #F+i · # 规约 6 #F+F · # 规约 7 #F =· # 接受 在第三步骤和第六步骤，都没有对F进行规约，因为在规约过程 中，只考虑算符，不考虑非终结符(单个非终结符)。在句柄确认 过程中不考虑非终结符，而句柄通过短语确认，所以出现最左 素短语。 * 最左素短语 设有文法G[S]，其句型的素短语是一个短语，它至少包含一个终结符，并且除自身外不包括其他素短语，最左边的素短语称为最左素短语。 要注意的是：素短语和最左素短语皆是定义在算符优先文法所产生的句型基础之上的。 短语是针对某个句型而言的。 * 例题 设有文法G[E]，1、E→E+T|T；2、T→T*F|F；3、F→P↑F|P；4、P→（E）|i； 现有句型#T+T*F+i#，它的短语是： T+T*F+i 相对于非终结符E的短语； T+T*F 相对于非终结符E的短语； T 相对于非终结符E的短语； T*F 相对于非终结符T的短语； i 相对于非终结符P、F、T的短语； 其中， i和T*F为素短语，而T*F为最左素短语。 最左素短语就是算符优先分析的句柄。 E E + T E + T T * F T F P i * 句型语法树 E E T + E T + T F * T F i * 算符优先文法的最左素短语满足如下条件： ai-1·ai=·ai+1….=·aj·aj+