第四篇语法分析,哈工大王宏志.ppt

语法分析 第四章 语法分析1 语法分析方法 递归子程序法 自顶向下 预测分析法(LL（1）) 算符优先分析法 自底向上 LR(0)、SLR(1)[LR(1)、LALR] 4.1 语法分析的功能 检查由扫描器输出的单词符号序列是否符合该语言的文法——句子 4.2 自上而下分析面临的问题与CFG的改造 一、自上而下的分析 从文法的开始符号出发，寻求所给的输入符号串的一个最左推导。 从树根S开始，构造所给输入符号串的语法树 例：G为：S→xAy A→**|*，输入串：x**y 二、存在问题——回溯 S ?xAy ?x*y 存在回溯的原因 文法中每个非终结符A的产生式右部称为A的候选式，如果有多个候选式左端第一个符号相同，则语法分析程序无法根据当前输入符号选择产生式，只能试探。 二、存在问题——左递归问题 文法S→Say|* 与它的句子*ayay 二、重要问题——左递归问题 例 CFG:简单算术表达式的文法（语法） E→E+T|E-T|T T→T*F|T/F|F F→(E)|id ＶN＝{E,T,F,P,FUN,L｝ ＶT＝{id,+,-,*,/,(,)｝ Ｓ＝E 三、重要概念回顾 推导: αＡβ?αγβ (依据：Ａ→γ) 最左(Left-most)推导——最左分析 左句型 最左推导对应最右归约 最右(Right-most)推导——最右分析 规范推导、规范句型（右句型） 最右推导对应最左归约（规范归约） 二义性(先天二义性语言、二义性文法) 四、消除二义性 例：简单算术表达式的文法 二义性文法 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 四、消除二义性 P174 重写文法：引入新的语法变量 S→U|M U→if E then S U→if E then M else U M→if E then M else M|other 按照改造后的文法构造的语法树 S U S M E E M M If a≠0 then if a0 then b=1 else b=-1 五、消除左递归 无法根据左递归文法进行自顶向下的分析 A a1a2……ai……an 直接左递归 A? Aα 当前变量 输入指针 (栈顶、最左变量) 例：表达式文法直接左递归的消除 E → E + T｜T T → T * F｜F F → ( E )｜id 例： 间接左递归的消除 S→Ac|c A→Bb|b B→Sa|a 将B的定义代入A产生式得：A→Sab|ab|b 将A的定义代入S产生式得: S→Sabc|abc|bc|c 消除直接左递归： S→abcS’|bcS’|cS’ 　 S’→abcS’|ε 删除“多余的”产生式：A→Sab|ab|b和B→Sa|a 结果： S→abcS’|bcS’|cS’ 　 S’→abcS’|ε 消除左递归的一般方法 用产生式组 A?β1 B|β2 B |…|βn B B?α1 B|α2 B |…|αn B|ε 替换产生式组 A→Aα1|Aα2|…|Aαn|β1|β2|…|βm 其中：B为新变量，相当于A’ 消除左递归的算法见P117的算法4.1 为非终结符编号，再采用代入法将间接左递归变为直接左递归，消除直接左递归 六、 解决回溯问题－提取左因子 例：if语句的原始文法 S→ if E then S |if E then S else S |other 影响分析:遇到 if 时难以判断用哪一个产生式进行匹配（推导） 存在左因子 if E t