安徽大学编译原理第五章 自顶向下语法分析方法.pptVIP

1 1 词法分析内容回顾 功能 输入源程序，输出单词流 手工设计词法分析器的主要工作 正规式：定义词法规则 把正规式描述的规则转化为NFA NFA进行确定化得到DFA 简化DFA 通过程序实现DFA 词法分析器的自动生成 Lex 语法分析技术概况 不确定的 自顶向下分析法 递归下降分析法 确定的 预测分析法LL(1) 语法分析方法 简单优先分析法 优先分析法 算符优先分析法 自底向上分析法 LR(0)分析法 LR分析法 SLR(1)分析法 LR(1)分析法 LALR(1)分析法 自顶向下分析法通常分为确定的和不确定的两种，确定的分析方法对文法有一定限制，但由于实现方法简单、直观，便于手工构造或自动生成语法分析器，是目前常用的分析方法之一；相反，由于不确定的分析方法带有回溯，效率低、代价高，因而极少使用。 例1 设有文法G1[S]: S→pA|qB A→cAd|a B→dB|b 若输入串W=pccadd。自顶向下的推导过程为: 分析能确定推导原因： 前提：2型文法中无空产生式 在文法中，对于每个非终结符A的定义 ? A→α1|α2|...|αn? 任给i,j(1≤i,j≤n,ij),从αi和αj推导出来的第一个终结符号集合(称为开始符号集FIRST)不相交,即:FIRST(αi)∩FIRST(αj)=Φ 结论：在推导过程中完全可以根据向前看符号是属于哪条产生式右部的开始符号集合而决定选择相应的产生式进行推导，因此，分析过程是完全确定的。 设G=(VT,VN,S,P)是2型文法，FIRST(α)={a|α aβ,a∈VT,α,β∈V*} 若α ε，则规定ε∈FIRST(α) 直观定义理解： FIRST(α)={a｜α a……，a∈ＶT} FIRST(α)包含了α对应的串的所有可能的首终结符号集(选择产生式的依据) 例3 文法G2[S]: 设G=(VT,VN,S,P)是上下文无关文法，A∈VN,S是开始符号。 FOLLOW(A)={a|S ?A?且a∈FIRST(?),?∈VT*,?∈V+} 若S ?A?,且? ε，则规定#∈FOLLOW(A) 直观定义理解：? FOLLOW(A)={a｜S …Aa…，a∈ＶT?} 若S ……A，则规定#∈FOLLOW(A) #作为输入串的结束符，或称为句子括号，如： #输入串# FOLLOW(A)表示句型中可能紧跟在A后面的终结符号 例5 文法G3[S]: S→aA|d A→bAS|ε 说明： 对于非终结符A的两个产生式A→bAS和A→ε: 当输入符号∈FIRST(bAS)={b}时，选A→bAS推导; 当输入符号∈FOLLOW(A)={#,a,d }时，选A→ε推导。 由于FIRST(bAS)∩FOLLOW(A)=ф，所以可进行确定的自顶向下分析。 当文法中含有形如 A→? A→? 的产生式时，其中A∈VN，?，?∈V*，若? 和?不能同时推导出空，假定? ε, ? ε 则当FIRST(?)∩(FIRST(?)∪FOLLOW(A))=?时， 对于非终结符A的替换仍可惟一的确定候选。 解释 当A面对应输入符号a，在自顶向下的分析中应选择这样的产生式A→?进行推导：First(?)中包含a； 此外若?可能导出空串，A自动获得匹配，输入符a有可能与A后的一个符号匹配，所以当a应属于Follow(A)时，选择产生式A→?也是可以的。 直观上说 某产生式A→α的选择集合是指遇