编译原理自顶向下语法分析方法.ppt

第四章 自顶向下语法分析方法 学习目标: 掌握：LL(1)文法的判别，预测分析法，递归子程序的构造方法 理解：LL（1）文法 了解：不确定的自顶向下分析 语法分析的作用是识别由词法分析给出的单词序列是否是给定文法的正确句子 回顾——自上而下的分析方法 定义: 从文法的开始符号出发，反复使用文法的产生式，寻找与输入符号串匹配的推导。 语法树的构造： 将文法的开始符号作为语法树的根，向下逐步建立语法树，使语法树的末端结点符号串正好是输入符号串。 自上而下分析的主要问题 选定产生式 回顾——自上而下的分析方法 例 文法G：S → cAd A → ab A → a识别输入串w=cabd是否为该文法的句子 本章内容 4.1 确定的自顶向下分析思想 4.2 LL(1)文法的判别 4.3 某些非LL(1)文法到LL(1)文法的等价变换 4.4 不确定的自顶向下分析思想 4.5 确定的自顶向下分析方法 4.1 确定的自顶向下分析思想 1 确定分析的条件 2 开始符号集FIRST(α)的定义 3 后跟符号集FOLLOW(A)的定义 4 选择集合SELECT(A→α)的定义 5 LL(1)文法的定义 1. 确定分析的条件 从文法的开始符出发，如能根据当前的输入符号（单词符号）唯一地确定选用哪个产生式进行推导，则分析是确定的。 例1 设有文法G1[S]: S→pA|qB A→cAd|a B→dB|b 若输入串W=pccadd。自顶向下的推导过程为: 要进行确定的自顶向下的分析，文法要满足一定的限制——即文法是LL(1)文法 先研究三个定义 开始符号集FIRST 后跟符号集FOLLOW 选择集合SELECT 2. 开始符号集FIRST( ? )的定义 定义:设G=(VN, VT, P, S)是上下文无关文法， α→β (α∈VN , ??(VN?VT)* ) FIRST(?) = {a | a ?VT 且??* a......} （若??* ε 则规定ε ∈FIRST(?)） 直观上说文法符号串? 的开始符号集是由?推导出的所有的终结符开头和可能的ε组成。 例文法G2[S]: 3. 后跟符号集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后的那些终结符（包括#）组成。 [例] 文法G3[S]: S→aA|d A→bAS|ε 解释 当A面对应输入符a，在自顶向下的分析中应选择这样的产生式A→?i( ?i可导出空串)进行推导： 若a ∈ First(?i),则 A→?i 可选 因 ?i 可能导出空串，A自动获得匹配，输入符a有可能与A 后的一个符号匹配，故当 a ∈ Follow(A) 时，产生式A→ ?i 亦可选 [例] 文法G3[S]: S→aA|d A→bAS|ε 回顾——开始符号集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→ ?)