ch5自底向下语法剖析.ppt

* FIRST(S)={a} FIRST(S’)={*, ε} FIRST(T)={+ ,ε} FOLLOW(S)={#} FOLLOW(S’)={#} FOLLOW(T)={*,#} * * + a # S →aTS’ S’ →*aTS’ →ε T →ε →+aT →ε * 句子a*a*a+a的分析过程 栈 输入 输出 #S #S’Ta #S’T #S’Ta* #S’T #S’ #S’ # S’Ta* # S’T #S’T a+ #S’T #S’ a*a*a+a# a*a*a+a# *a*a+a# *a*a+a# *a*a+a# *a+a# *a+a# +a# +a# +a# # # S→aT S’ T →ε T →ε T →+aT T’→ ε S’ →*aTS’ S’ →*aTS’ S’→ ε # # end * 七、预测分析的错误恢复 1、发现错误 ①栈顶的终结符与当前输入符不匹配 ②非终结符A位于栈顶，面临的输入符为a，但分析表M的M[A,a]为空 2、“应急”恢复策略 跳过输入串中的一些符号直至遇到“同步符号”为止。 * 3、同步符号的选择 ①把FOLLOW(A)中的所有符号作为A的同步符号。跳过输入串中的一些符号直至遇到这些“同步符号”，把A从栈中弹出，可使分析继续 ②把FIRST(A)中的符号加到A的同步符号集，当FIRST(A)中的符号在输入中出现时，可根据A恢复分析 * ③可以把表示语句开始的一些关键字加入到同步记号集中 ④如果栈顶的终结符不能被匹配，就可以弹出该终结符，此时相当于把所有的符号都看作同步符号 用synch 表示由相应非终结符的FOLLOW集得到的同步符号，则前面的预测分析表变为： * 非终结符 输入符号 E E’ T T’ F i * ( ) # + →TE’ →TE’ →+TE’ → ε → ε →FT’ →FT’ → ε → ε T’ → ε →*FT’ →(E) →i 不含错误处理的分析表 * 非终结符 输入符号 E E’ T T’ F i * ( ) # + →TE’ →TE’ →+TE’ → ε → ε →FT’ →FT’ → ε → ε → ε T→*FT’ →(E) →i 加入错误处理的分析表 synch synch synch synch synch synch synch synch synch * 句子)i*+i的分析过程 栈 输入 备注 #E #E #E’T #E’T’i #E’T’ #E’T’F #E’T’F* #E’T’F #E’T’ #E’ #E’T+ # #E’T’F #E’T’i #E’T’ #E’ #E’T )i*+i# i*+i# i*+i# i*+i# i*+i# *+i# *+i# +i# +i# +i# +i# i# i# i# # # # 错误，跳过) i在FIRST(E)中 错误,M[F,+]=synch F 已被弹出 * 文法G： A→[B B→X]|BA X→Xa|Xb|a|b 构造其 LL（1）分析表 消除左递归 A→[B B→X]B’ B’ → AB’ B’ → ε X→aX’ X → bX’ X’ → aX’ X’ → bX’ |X’→ ε {[} {a,b} {[} {ε} {a} {b} {a} {b} {ε} FIRST * FIRST(A)={[} FIRST(B)={a,b} FIRST(B’)={[, ε} FIRST(X)={a,b} FIRST(B)={a,b, ε} * Follow(A)={[,#} Follow(B)={[,#} Follow(B’)={