确定的自上而下语法分析.PDF

确定的自上而下语法分析 G : S→Ap|Bq 1 确定 的自上而下分析的 A→a|cA 必要条件之一: A→α |α |… |α B→b|dB 1 2 n FTRST(α ) ∩ i G : S→cAd 2 FIRST(α )=Ø j A→ab | a 左公因子的存在产生回溯 FIRST(ab) ∩ FIRST(a) = {a} ≠ Ø G : S→Sa|b 3 左递归产生回溯 FIRST(Sa) ∩ FIRST(b) = {b} ≠ Ø 例: 文法中有空产生式 G : S→ aA | d 6 确定 ! A→bAS |ε Fo ow(S) = { #, a, d } Fo ow(A) = { #, a, d} FIRST(aA) ∩ FIRST(d) = Ø FIRST(A) ∩ FOLLOW(A) = Ø 练习: 求 FOLLOW 集, 对 #ab# 进行句型分析 G : S→aAS | b 7 不确定 ! A→bAS|ε Fo ow(A) = { a, b } Fo ow(S) = { #, a, b } FIRST(A) = {b, ε} FOLLOW(A) = {a,b} FIRST(A) ∩ FOLLOW(A) = {b} ≠ Ø 小结: 确定的自上而下分析 1. 文法中无空产生式 G1 : S → Ap | Bq A → a | cA FTRST(α ) ∩ FIRST(α ) = Ø i j B → b | dB 2. 文法中有空产生式 G : S→ aA | d 6 FTRST(α ) ∩ FIRST(α ) = Ø A→bAS |ε i j FTRST(A) ∩ FOLLOW(A) = Ø  确定的(不带回溯) 自上而下语法分析 的文法条件 LL(1)文法 (1) A→α1 |α2 |… |αn FIRST(α ) ∩ FIRST(α ) = Ø (i≠j) i j (2) ε∈First(A) FIRST(A) ∩ FOLLOW(A) = Ø •文法不含