4语法分析（自上而下）.pptVIP

* * 第四章 语法分析 主要任务：通过语法分解,确定整个输入串是否能构成语法上正确的句子和程序等。 自上而下分析技术：从文法开始符号出发，最终推导出一个句子。 第四章:语法分析——自上而下分析技术 自下而上分析技术：从句子出发，最终归约到文法开始符号。 §1 下推自动机（PDA） Pushdown Automata ——识别CFG的语言 1、定义：PDA是一个七元组M=(Q,Σ,H,δ,q0,#,F）, 其中： Q：控制器的有限状态集； Σ：输入字母表； H：下推栈内字母表； δ：Q×(Σ∪{ε})×H到Q ×H*的有限子集映射； q0∈Q：控制器的初始状态； #∈H：下推栈的栈初始符； F ?Q：控制器的终态集。 2、PDA的动作由三个因素决定： （1）PDA当前所处状态； （2）读头所指符号； （3）下推栈栈顶符号。 有限状态 控制器 下 推 栈 输入带 输出带 PDA模型 3、PDA所要执行的动作： （1）若栈顶符号X ∈ VN，找出一个以X为左部的产生式，将X弹出栈，而把产生式的右部的符号以自右向左的顺序压入栈内，此过程称作推导。输出带上记下产生式编号。 （2）若栈顶符号x ∈ VT，读头下符号也是x ，则认为匹配，直接弹掉x，读头向前指向下一符号。 （3）若栈内仅剩下栈底符‘#’，读头指向输入结束符‘#’,则认为识别成功。 （4）若栈顶符号x ∈ VT，但与读头下符号不相同，则认为匹配失败，说明前面选错了侯选式，应退回至上一次推导的现场（包括栈顶符号，读头的指针和输出带上的信息，此过程称作回溯。 （5）回溯后选择另一侯选式进行推导，若无侯选式可选，应进一步回溯，若回溯到文法开始符号，且又无侯选式可选了，则认为识别失败。 4、自上而下分析法的一般问题： （1）如何选用产生式？ （2）如何避免回溯？ （3）如何消除左递归？ §2 自上而下分析法的一般问题 1、消除文法左递归 方法:将产生式形如: P →Pα | β 改造成P →βP’ P’ →αP’|ε 若有产生式：P→ Pα1| Pα2|…| Pαm|β1|β2| …|βn 改造成: P → β1P’| β2P’| …|βnP’ P’ → α1P’| α2P’|…| αmP’| ε 1）提取公共左因子 若有产生式：P→αβ1| αβ2| …|αβn 改造成 P →αP’ P’ → β1| β2| …|βn 2）预测的方法——求字符串的终结首符集First 预测：根据读头下的符号和产生式右部的第一个终结符来选择相应的产生式，等于向前看了一个符号。 2、消除回溯——预测 （1）定义：假定α是文法G的一个符号串， First (α)={a| α→*a……，a∈VT}，若α→*ε, 则ε∈ First (α)。 First (α) 读作串α 的终结首符集。 （2）求非终结符P的First ： ①First (P)={a| P→*a……，a∈VT}，若P→*ε, 则ε∈ First (α)。 ②若P→X1X2…Xn，则First（X1)∈ First (P)， 若X1→ε， First（X2)∈ First (P)，依此类推。 例1：若有文法G1，求出各非终结符的First集。 S →Ap|Bq A →a|cA B →b|dB 例2：考虑下面的文法G： S →a | ∧|（T） T →T，S | S （1）消除文法的左递归； （2）求每个非终结符的First。 3、产生式的选取依据 若a∈First(α)且a∈First(β), 选P→α ；反之选P→β。 若 a∈First(α)且a∈First(β), 则提取公共左因子改造文法. 若 a∈First(α)且a∈First(β), 则出错。 当读头为a,P在栈顶,且有产生式P→α | β ,如何选用产生式呢? 4、求非终结符的随符集 1）定义：假定S是文法G的开始符号，对于G的任何非 终结符A，定义非终结符A的随符集为 Follow (A) ={a| S→+…Aa…，a∈VT}，若S→+…A，则规定 #∈ Follow (A) 。 2）求Follow (A) ： （1）Follow (A) ={a| S→+…Aa…，a∈VT}； （2）对文法开始符号S，#∈ Follow (S) ； （3）若A=S或S→*…A ，#∈ Follow (A) （4）若B→αAβ，则First(β)-{ε}∈ Follow (A) ; （5）若B→αAβ且β→*…