编译4语法—自上而下_zss_分析.pptVIP

* * 在元符号“→”和“|”的基础上，扩充几个元语言符号： 1. 用花括号{?}表示闭包运算?*。 2. 用 {?}n0表示可任意重复0次至n次，。 3. 用方括号[?]表示{?}10 ，即表示?的出现可有可无(等价于?|?)。 引入上述元符号的文法亦称扩充的巴科斯范式。 文法的另一种表示法和转换图 * * 例如，通常的“实数”可定义为： decimal→[sign]integer.{digit}[exponent] exponent→E[sign]integer integer→digit{digit} sign→ + | - 用扩充的巴科斯范式来描述语法，直观易懂，便于表示左递归消去和因子提取。 * * 例4.5 文法 E→T | E+T T→F | T*F F→i | (E) 可表示成 E→T{+T} T→F{*F} F→i | (E) (4.6) * * 可以用语法图来表示语言的文法。 T + E T F * T F i ) F E ( * * 可构造一组递归下降分析程序： PROCEDURE E； BEGIN T； WHILE SYM=‘+’ DO BEGIN ADVANCE； T END END； PROCEDURE T； BEGIN F； WHILE SYM=‘*’ DO BEGIN ADVANCE； F END END； * * 4.5 预测分析程序 一、预测分析程序工作原理 预测分析程序或LL(1)分析法： 总控程序 分析表 M[A，a]矩阵，A ? VN ，a ? VT 是终结符或‘＃’， 分析栈 STACK 用于存放文法符号 * * 总控程序 分析表 X ? # 输入串 分析栈 STACK a1a2...ai…# 预测分析程序的工作图 # S a1a2...ai…# 分析开始时： * * 总控程序根据现行栈顶符号X和当前输入符号a，执行下列三种动作之一: 1. 若X＝a＝‘＃’，则宣布分析成功，停止分析。 2. 若X＝a ?‘＃’，则把X从STACK栈顶弹出，让a指向下一个输入符号。 匹配成功 * * 3. 若X是一个非终结符，则查看分析表M 若M[X，a]中存放着关于X的一个产生式，把X弹出栈顶，把产生式的右部符号串按反序入栈(若右部符号为?，则什么也不做)。在把产生式的右部符号推进栈的同时应做这个产生式相应的语义动作。 若M[X，a]中存放着“出错标志”，则调用出错诊察程序ERROR。 推导 * * 例4.6 对于文法G(E) E→TE? E?→+TE? | ? T→FT? T?→*FT? | ? F→(E) | i 输入串为i1*i2+i3，利用分析表进行预测分析： * * 步骤 符号栈 输入串 所用产生式 0 #E i1*i2+i3# 1 #E?T i1*i2+i3# E→TE? 2 #E?T?F i1*i2+i3# T→FT? 3 #E?T?i i1*i2+i3# F→i * * 步骤 符号栈 输入串 所用产生式 3 #E?T?i i1*i2+i3# F→i 4 #E?T? *i2+i3# 5 #E?T?F* *i2+i3# T?→*FT? 6 #E?T?F i2+i3# 7 #E?T?i i2+i3# F→i * * 步骤 符号栈 输入串 所用产生 7 #E?T?i i2+i3# F→i 8 #E?T? +i3# 9 #E? +i3# T?→? 10 #E?T+ +i3# E?→+TE? 11 #E?T i3# * * 步骤 符号栈 输入串 所用产生 11 #E?T i3# 12 #E?T?F i3# T→FT? 13 #E?T?i i3# F→i 14 #E?T? # 15 #E? # T?→? 16 # # E?→? * * 二、分析表M[A，a]的构造 构造FIRST(?)和FOLLOW(A) 构造分析表M[A，a] * * 构造FIRST(?) 对每一文法符号X?VT∪VN构造FIRST(X) 连续使用下面的规则，直至每个集