第四章自顶向下地语法分析().pptVIP

第4章 自顶向下的语法分析（1） 语法分析(Syntax Analysis) 文法的改造问题 自顶向下(Top Down)的分析 推导(Derivation) 4.1 语法分析的任务 语法分析(Syntax Analysis) 检查扫描器输出的单词序列是否符合该语言的文法(句子)，并分析组成此句子的语法成分 完成语法分析的程序叫做(语法)分析器 Parser Syntax Analyzer 4.1 语法分析的任务 语法分析方法 4.2 自顶向下分析面临的问题与CFG的改造 一、自顶向下的分析 从文法的开始符号出发，寻求所给的输入符号串的最左推导 从树根S开始，构造所给输入符号串的语法树 例：G为：S→xAy A→**|*，输入串：x**y 二、重要概念回顾 推导: αＡβ?αγβ (依据:Ａ→γ) 最左(Left-most)推导——最左分析 左句型 最左推导对应最右归约 三、重要问题——虚假匹配 ?x*y 发现不匹配,需要回退(回溯) 三、重要问题——回溯 S 三、重要问题——二义性及其消除 E→E+E|E-E|E*E|E/E|(E)|id对同一句子存在两棵语法分析树，哪个是对的？ 三、重要问题——二义性及其消除 二义性文法 E→E+E|E-E|E*E|E/E|(E)|id 非二义性文法 E→E+T|E-T|T T→T*F|T/F|F F→(E)|id 改造方法：引入语法变量，使文法含有更多的信息 三、重要问题——二义性及其消除 再例：If语句 S→if E then S S→if E then S else S S→other 设执行下列语句前b=0, If a≠0 then if a0 then b=1 else b=-1 当a=1时,b=1;当a=-1时，执行后b=-1 If a≠0 then if a0 then b=1 else b=-1 当a=1时,b=1;当a=-1时，执行后b=0 一个句子有两棵不同的语法树 S S E E S S If a≠0 then if a0 then b=1 else b=-1 S S E E S S If a≠0 then if a0 then b=1 else b=-1 三、重要问题——二义性及其消除 1.重写文法 S→U|M U→if E then S U→if E then M else U M→if E then M else M|other 2.设置一个规则——实现“就近” 、“最长” 匹配原则 按照“改造1”构造的语法树 S U S M E E M M If a≠0 then if a0 then b=1 else b=-1 按照“改造2”构造的语法树 S S T(最长) C C E E S S If a≠0 then if a0 then b=1 else b=-1 按照“改造2”构造的语法树 S T S(非最长) C C E E S S If a≠0 then if a0 then b=1 else b=-1 三、重要问题——二义性及其消除 S S S T (最长) T (最长) S C C C C if E then if E then S else if E then S else if E then S 三、重要问题——左递归及其消除 例：文法S→Say|* 与它的句子*ayay 三、重要问题——左递归及其消除 例 简单算术表达式的文法——左递归 E→E+T|E-T|T|-E T→T*F|T/F|F F→F↑P|P P→(E)|id|const|FUN(L) FUN→ abs | sin | cos | ln | log | exp | sqrt L→E|E,L VN＝{E,T,F,P,FUN,L｝ VT＝{id,const,+,-,*,/,(,), \,, abs,sin,cos,log,ln,exp,sqrt} S＝E 三、重要问题——左递归及其消除 无法根据左递归文法进行自顶向下的分析 A a1a2…