第4章 语法分析(2).pptVIP

* * * * * * * * * * * * * * * * 4.4.4 非递归的预测分析 可以使用显式的栈，而不是递归调用来完成分析。 * 成功的自顶向下的分析的一般示意法： 两个基本动作： 利用文法选择A ? ?将栈顶部的非终结符A替换成串?。 将栈顶的记号和下一个输入记号匹配。 分析栈 输入(lookahead) 动作 $StartSymbol InputString$ … … … … $ $ 接受 * 例：生成配对括号的文法S ? (S) S | ? 对串（），下表给出自顶向下的分析程序的动作： 分析栈 输入 动作 $ S ( ) $ S ? (S) S $ S ) S ( ( ) $ 匹配 $ S ) S ) $ S ? ? $ S ) ) $ 匹配 $ S $ S ? ? $ $ 接受 自顶向下的分析程序的动作 对于LL(1)文法，将?边作为默认选择可以解决是否选择一个?边的二义性问题。 * a + b $ 输入 预测分析程序 分析表M 输出 X Y Z $ 栈 * 输入：输入符号串w和文法G的分析表M输出：若w?L(G)，则输出w的最左推导； 否则，报告出错信息。 方法：初始状态： $在栈底，S在栈顶； w$在输入缓冲区中。 预测分析程序利用预测分析表M对于输入作出分析。 算法4.3 非递归预测分析方法 * 置ip指向w$的第一个符号，栈为$和开始符号S repeat 令X是栈顶符号, a是ip所指向的符号； if X 是一个终结符号或$ then if X=a then 从栈中弹出X，ip指向下一个符号 else error() else /*X是非终结符号*/ if M[X,a]=X?Y1Y2.. .. Yk then begin 从栈中弹出X; 将 Yk,Yk-1,.. ..,Y1压入栈中，即Y1在栈顶； 输出产生式 X?Y1Y2.. .. Yk end else error() until X=$ /*栈为空*/ 图4-14 预测分析程序 Input pointer 就是lookahead * 例4.16图4-15 文法的分析表M 非终结符 E ? TE? E? ? +TE? | ? T ? FT? T? ? *FT? | ? F ? ( E ) | id 输入符号 id + * ( ) $ E E? T T? F E?TE? T?FT? F?id E??+TE? T?? ? T? ?*FT? F?(E) T?FT? E?TE? T? ? ? E? ? ? E? ? ? T? ? ? * 图4-16 预测分析器在输入id+id*id上的动作 $E $E’T $E’T’F $E’T’id $E’T’ $E’ $E’T+ $E’T id + id * id$ id + id * id$ id + id * id$ id + id * id$ + id * id$ + id * id$ + id * id$ id * id$ E? TE’ T? FT’ F ? id T’ ? ? E’ ? +TE’ STACK INPUT OUTPUT * 图4-16 预测分析器在输入id+id*id上的动作 (续) STACK INPUT OUTPUT $E’T’