编译原理张淑艳 compiler-principle05_02.pptVIP

郑州大学 郑州大学 程序设计语言编译原理 张 淑 艳 zhang_shu_yan@163.com 温故知新 上下文无关文法 自上而下 最左推导 自下而上 最右推导 可归约串的寻找方式 算符优先分析 规范归约 算符文法/算符优先文法 两终结符的优先关系 两个函数FIRSTVT和LASTVT 优先关系表 ? 优先函数 三个概念：短语、直接短语、句柄 5.2.2 算符优先分析算法 素短语：是一个短语，它至少含有一个终结符，且除自身之外不包含其它的素短语。 最左素短语：处于句型最左边的素短语。 句型的一般形式： # N1a1N2a2……NnanNn+1 # 其中Ni为非终结符或ε,ai为终结符。 一个算法优先文法G的任何句型的最左素短语是满足如下条件的最左子串 Njaj…NiaiNi+1： aj-1 aj aj+1 … ai-1 ai ai+1 E?E+T | T T?T*F | F F?P ? F | P P?(E) | i 句型 #T+T*F+i# 短语: T, T*F, T+T*F , i , T+T*F+i , 素短语: i, T*F 最左素短语: T*F E E + T E + T T * F T F i P 5.2.2 算符优先分析算法 k:=1; S[k]:= ‘#’ REPEAT …… UNTIL a= ‘#’ 1 # 5.2.2 算符优先分析算法 REPEAT 把下一个符号读入a中; IF S[k]∈VT THEN j:= k ELSE j:=k-1; WHILE S[j] a DO //归约 { REPEAT Q:= S[j]; IF S[j-1]∈VT THEN j:=j-1 ELSE j:=j-2 UNTIL S[j] Q; 把S[j+1]...S[k] 归约为某个N; k:=j+1; S[k]:=N; } IF S[j] a OR S[j] a //移进 BEGIN k:=k+1; S[k]:=a END ELSE ERROR UNTIL a= ‘#’ j指向栈顶或次栈顶的终结符 寻找可归约串 四个动作 归约 当栈顶终结符 当前输入符号时，在栈中寻找最左素短语进行归约 移进 当栈顶终结符 或 当前输入符号时 接受 当栈顶终结符 当前输入符号‘#’时，分析成功结束 出错 当栈顶终结符与当前输入符号没有优先关系时 5.2.2 算符优先分析算法 aj-1 aj aj+1 … ai-1 ai ai+1 E?E+T | T T?T*F | F F?P ? F | P P?(E) | i 例 : 写出句型 #T+T*F+i# 的算符优先分析过程 先得出算符优先关系表 + * ? i ( ) # + * ? i ( ) # 算符优先分析 归约过程 步骤 符号栈 优先 关系 剩余 输入串 动作 1 # 2 3 4 5 6 7 8 9 10 11 12 移进 #T +T*F+i# 移进 #T+ T*F+i# 移进 #T+T #T+T* F+i# #T+T*F +i# 归约 T*F T+T*F+i# *F+i# 移进 移进 #T+N +i# 归约 T+N #N +i# 移进 #N+ i# 移进 #N+i # 归约 i #N+N # 归约 N+N #N # 接受 算符优先分析 语法树的框架 N + N i N + N T * F T 优先关系表 算符优先分析 语法树的框架 N + N i N + N T * F T E E + T E + T T * F T F i P 语法树 算符优先分析过程跳过了对单非终结符的归约 所以: 算符优先分析过程不是规范归约 5.2.2 算符优先分析算法 例2: 写出算符优先分析过程和规范归约分析过程 E?E+T | T T?T*F | F F?(E) | i 输入串 #i+i# 5.2.2 算符优先分析算法 求出算符优先关系表 + * i ( ) # + * i ( ) # E?E+T | T T?T*F | F F?(E) | i 输入串 #i+i# 5.2.2 算符优先分析算法 算符优先分析 归约过程 步骤 符号栈 优先 关系 剩余 输入串 动作 1 # i+i# 2 3 4 5 6 7 移进 #i +i# 归约 i #N +i# 移进 #N+ i# 移进 #N+i # 归约 i #N+N # 归约 N+N