第04章_自上而下语法分析2.pptVIP

4.2.5 预测分析法与预测分析表的构造 例 设有文法G[S] S→a |∧| (T) T→T, S | S 1.消去文法左递归,改写文法G[S]为G’[S] 2.计算文法G’[S]每个非终结符的FIRST集 和FOLLOW集。 3.判断文法G’[S] 是否LL(1)文法。 4.试构造文法G’[S] 的预测分析表。 5.给出输入串(a)# 的分析过程。 4.2.5 预测分析法与预测分析表的构造 分析 引进新的非终结符,改写文法,得到文法G[S]: S →a |∧| (T) T →ST T→,ST| ε 根据FIRST集和FOLLOW集的定义,求出文法每个非终结符的FIRST集和FOLLOW集： S→a |∧| (T) T→T, S | S 4.2.5 预测分析法与预测分析表的构造 FIRST FOLLOW S T T { a, ∧, ( } { ) } S →a |∧| (T) T →ST T→,ST | ε {, ,ε} { ) } { a, ∧, ( } {#, , , ) } 4.2.5 预测分析法与预测分析表的构造 根据LL(1)文法的判断条件，对非终结符S和T有： SELECT(S→a)∩SELECT(S→∧) = FIRST(a)∩FIRST(∧)={a}∩{∧}=Φ SELECT(S→a)∩SELECT(S→(T)) = FIRST(a)∩FIRST((T))={a}∩{ ( }=Φ SELECT(S→∧)∩SELECT(S→(T)) = FIRST(∧)∩FIRST((T))={∧}∩{ ( }=Φ SELECT(T→,ST)∩SELECT(T→ε) = FIRST(,ST)∩{FIRST(ε)∪FOLLOW(T)} ={,}∩{ ε,)} =Φ 所以文法G[S]是LL(1)文法。 S →a |∧| (T) T →ST T→,ST | ε 4.2.5 预测分析法与预测分析表的构造 ∵ FIRST(a)={a} ∵ FIRST(∧)={∧} ∵ FIRST((T))={(} 对规则S→a 对规则S→∧ 对规则S→(T) a ∧ ( ) , # S→a S→∧ S →(T) T→ST T→ST T→ST T→ε T→,ST 对规则T →ST ∵ FIRST(ST)={ a, ∧, ( } 对规则T→ε ∵ FOLLOW(T)={ ) } 对规则T →,ST ∵ FIRST(,ST)={ , } S T T 分析符号串(a)#的过程如下表 : 分析栈 输入串 # S (a) # # )T( (a) # # )T a) # # )TS a) # # )Ta a) # # )T ) # # ) ) # # # S →a |∧| (T) T →ST T→,ST| ε 4.2.5 预测分析法与预测分析表的构造 可以证明, 若一个文法G的分析表M不含多重定义元素, 则该文法是LL(1)文法。 4.2.5 预测分析法与预测分析表的构造 LL(1)分析表比其他分析方法中的分析表相对要小一些。 预测分析法的主要优点是 思考题 P92 4.1 4.2 本节完 id + * ( ) $ E E T T F E→TE E→TE E →+TE E→ε E→ε T→FT T→FT T→ε T→ε T→ε T→*FT F→i F→(E) E → TE E → +TE | ε T → FT T → *FT | ε F → (E) | i 返回 4.2.5 预测分析法与预测分析表的构造 返回 4.2.4 递归下降分析法 递归下降分析法是确定的自上而下分析法，这种分析法要求文法是LL(1)文法。 4.2.4 递归下降分析法 基本思想 对文法中的每个非终结符编写一个函数 (或子程序), 每个函数