第4讲自顶向下语法分析方法(2).pptVIP

第4讲 自顶向下语法分析方法 语法分析的作用是识别由词法分析给出的单词序列是否是给定文法的正确句子。 回顾—自上而下的分析方法 定义： 从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导。 语法树的构造： 将文法的开始符号作为语法树的根，向下逐步建立语法树，使语法树的末端节点符号串正好是输入符号串。 自上而下分析的关键问题： 选定产生式 回顾—自上而下的分析方法 例 文法G：S→cAd A→ab A→a 识别输入串w=cabd是否为该文法的句子。 5.1 确定的自顶向下分析思想 1 确定分析的条件 2 开始符号集FIRST(α)的定义 3 后跟符号集FOLLOW(A)的定义 4 选择集合SELECT(A→α)的定义 5 LL(1)文法的定义 1. 确定分析的条件 从文法的开始符出发，如能根据当前的输入符号（单词符号）唯一地确定选用哪个产生式进行推导，则分析是确定的。 文法G1[S]:S→pAS→qBA→cAdA→aB→dBB→b 2、如果两个产生式有相同的左部，那么它们的右部由不同的终结符开始。 文法G2[S]:S→ApS→BqA→aA→cAB→bB→dB 3、文法中无空产生式。 2. 开始符号集FIRST(α)的定义 定义：设 G = (VT ,VN , S , P) 是上下文无关文法，FIRST(α) = { a|α aβ, a∈ VT, α,β ∈ V* }若α ε，则规定ε∈ FIRST(α) FIRST(Ap)={a,c} FIRST(Bq)={b,d} FIRST(a)={a} FIRST(cA)={c} FIRST(b)={b} FIRST(dB)={d} 文法G3[S]:S→aAS→dA→bASA→ε 3. 后跟符号集FOLLOW(A)的定义 定义：设 G = (VT ,VN , S , P) 是上下文无关文法，A∈VN , S是开始符号。 FOLLOW(A) = {a|S ?A?且a∈FIRST(?), ?∈V*,?∈V+ } 若S ?A?,且? ε，则规定 #∈FOLLOW(A) 结论：对于 A→α A→β其中A∈VN , α, β ∈V* 当α和β不同时推导出空时（设 α不推导 出空，β推导出空），则当FIRST(α)∩(FIRST(β)∪FOLLOW(A)) = Φ 时，对于非终结符A的替换仍可唯一地 确定候选。 回顾——开始符号集FIRST( ? )的定义 定义:设G=(VN, VT, P, S)是上下文无关文法， A →β (A∈VN , ??(VN?VT)* ) FIRST(?) = {a | a ?VT 且??* a......} （若? ?*ε, 则规定ε∈FIRST(?)） 直观上说文法符号串? 的开始符号集是由?推导出的所有的终结符开头和可能的ε组成。 回顾——后跟符号集FOLLOW(A)的定义 定义 设G=(VT, VN, P, S)是上下文无关文法， B→xAy (A,B ∈VN x,y ∈(VN?VT)* ) FOLLOW(A)={a|S=*…Aa…，a ∈VT}， 若有S=* …A，则规定 # ∈FOLLOW(A) （注： # 输入串#，‘#’做为输入串的结束符） 直观上说,非终结符A的后跟符号集是由句型中紧跟A后的那些终结符（包括#）组成。 4. 选择集合SELECT(A→β)的定义 定义：给定上下文无关文法的产生式 A→β（A∈VN ,β∈V*） 若β ε，则 SELECT(A→β)=FIRST(β) 若β ε，则SELECT(A→β) =(FIRST(β)-{ε})∪FOLLOW(A) 结论： 同一非终结符的不同产生式A→α与 A→β，若SELECT(A→α)∩SELECT(A→β)= Ф 则一定可以进行确定的自顶向下分析。 5. LL(1)文法的定义 定义：一个上下文无关文法是LL(1)文法的充要条件是：对每个非终结符A的两个不同产生式A→α和A→β，满足SELECT(A→α)∩SELECT(A→β)=Φ其中α,β不能同时 ε LL(1)文法的含义 第一个L表示：自顶向下