复试编译原理.part1ch44.pptxVIP

1 第四章 语法分析 计算机学院 辛明影 2 4.4 LR分析方法对二义文法的应用  任何二义文法都不是LR方法 某些二义文法对语言的说明和实现非常有用，如描述表达式的文法： E→E＋E|E*E|(E)|id 例：描述if语句的文法： stmt→if expr then stmt |if expr then stmt else stmt |other 规定优先级和结合率 规定匹 配原则 计算机学院 辛明影 3 E´E I0 E E+E E E*E E (E) E  id E´E I1 E E  +E E E  *E E E ( E) E E+E E E*E E (E) E  id I2 ( E  id  I3 id id ( + E E+  E E E+E E E*E E (E) E  id I4 E E E* E  E E  +E E E  *E  例：E→E＋E|E*E|(E)|id E (E.) I6 E E  +E E E  *E E E+ E  E E  +E E E  *E E (E). I9 E E*  E E E+E E E*E E (E) E  id I5 I7 I8 ( id I3 * E ( id * ) + 计算机学院 辛明影 4 FOLLOW(E’)={$} FOLLOW(E)={$,+,*,)} E E+ E  I7 E E  +E E E  *E 在I7状态，遇+，根据左结合率，应对栈内+归约 规定*优先级高于+ *、+为左结合率 在I7状态，遇*，根据优先级，应将*移入栈内 E E*E  I8 E E  +E E E  *E 在I8状态，遇*，根据左结合率，应对栈内*归约 在I8状态，遇+，根据优先级，应对栈内*归约 计算机学院 辛明影 5 表4.11 文法G4.4的SLR分析表 计算机学院 辛明影 6 描述if语句的文法： stmt→if expr then stmt |if expr then stmt else stmt |other 悬空else的二义性 用I表示if expr then， e 表示else ,a表示other,文法可改为： S’ → S S→iSeS|iS|a 计算机学院 辛明影 7 S’  S I0 S  iSeS S  iS S  a S’  S I1 S i  SeS I2 S i  S S  iSeS S  iS S  a S a  I3 S i S  eS I4 S i S  S i Se  S I5 S  iSeS S  iS S  a S i S eS  I6 S i a S i a e S i a 在I4状态遇e，栈内符号为iS，根据最近匹配原则应移入e Follow(S)={$,e} 计算机学院 辛明影 8 LR(k)和LL(k)的比较 1. A1 2 LL(k)根据FIRST(i)确定使用哪条产生式；而LR(k)是在识别出整个后,再往后看k个符号,然后确定使用哪条产生式。 w A     w A 计算机学院 辛明影 9 LL(k)文法都是LR(k)文法。 2. 都能用形式化方法实现； 3. 非LR结构 例：L={wwR  w{a,b}*} G[S]: SaSa bSb   4. LR(k)分析用手工构造是不可能的。类 Pascal语言的LR(1)分析表，估计要数千 个状态；由于有软件工具， LR分析受到广泛重视。 计算机学院 辛明影 10 4.5 分析器的生成器Yacc 一 . 用生成器Yacc构造翻译器的过程 Yacc 编译器 yacc源程序 translate.y y.tab.c C 编译器 y.tab.c a.out a.out 源程序 输出 计算机学院 辛明影 11 二. Yacc源程序有三部分组成             声明             ％％             翻译规则             ％％             C写的支持例程  三. 例4.21 台式计算器