《Ch4(3) 练习》-公开·课件设计.pptVIP

LL(1)文法的条件 1）文法不含左递归 2）对于文法中每个非终结符A的各产生式的候选首符集不相交。即若A ? ?1 | ?2 |…| ?n 则 FIRST(?i) ? FIRST(?j) =? （i ?j ) 3）对文法中每一个终结符A，若它存在某个候选首符集包含?，则FIRST(A) ?FLLOW(A)= ? 文法： S ? ABc A ? a |ε B ? b |ε S、A、B ——不含左递归 首符集不相交 考察A、B是否满足条件3 FIRST(A)={a, ε} FOLLOW(A)={b, c} FIRST(B)={b, ε} FOLLOW(B)={c} 是LL(1)文法 文法： S ? Ab A ? a | B |ε B ? b |ε S、A、B ——不含左递归 A、B的首符集都包含空字 不满足条件2 不是LL(1)文法 例：句子b S= Ab = b S= Ab = Bb = b 有二义性——二义性的文法一定不是LL(1)文法 文法： S ? ABBA A ? a |ε B ? b |ε S、A、B ——不含左递归 首符集不相交 S、A、B的首符集都包含空字 考察S、A、B是否满足条件3 FIRST(S)={a, b,ε} FOLLOW(S)={ # } FIRST(A)={a, ε} FOLLOW(A)={a, b, # } FIRST(B)={b, ε} FOLLOW(B)={a, b, #} 不是LL(1)文法 该文法也是有二义的 文法： S ? aSe |B B ? bBe |C C ? cCe |d 1、S、B、C ——不含左递归 2、 FIRST(C)={c, d} FIRST(B)={ b, c, d} FIRST(S)={a, b,c, d} 满足条件2 3、S、B、C的首符集不含空字 是LL(1)文法 给出语言L={1na0n1ma0m|n0, m=0} 的预测分析表 解：观察句子,发现可分成两部分 1na0n 和 1ma0m两部分中符号的个数n和m没有制约关系。则可改造成下列文法： S ?AB A ?1A0 |1a0 B ? 1B0 |a 需左提公因子，得到： S ?AB A ?1C C ? A0 |a0 B ? 1B0 |a 此文法满足LL(1)文法的要求 S ?AB A ?1C C ? A0 |a0 B ? 1B0 |a 1 0 a # S AB A IC C A0 a0 B IB0 A S ? 1A0A A ? 1A0|a 给出语言L={1na0n1ma0m|n0, m=0} 的LL(1)文法; 并构造预测分析表 1 0 a S 1A0A A 1A0 a 设有文法：G[S]:  S?aBc | bAB A?aAb | b B?b | ? 构造其LL(1)分析表，分析符号串baabbb是否是该文法的句子（写出分析过程） 解 FIRST(B)含有? FOLLOW(B)=FIRST(c) ?FOLLOW(S)={c, #} a b c # S aBc bAB A aAb b B b ? ? 符号栈S 输入串 规则 #S baabbb# S?bAB #BAb baabbb# #BA aabbb# A?aAb #BbAa aabbb# #BbA abbb# A?aBb #BbbAa abbb# #BbbA bbb#