语法分析——上下文无关文法.pptVIP

* 编译原理 * YACC规格说明 用%{和%}括起来的部分是C语言程序的正规说明 说明翻译规则和辅助过程里使用的变量和函数的类型 * 编译原理 * YACC规格说明 形如 左部→候选1|候选2|…|候选n| 的产生式，在YACC规格说明里写成 左部:候选1{语义动作1} |候选2{语义动作2} …… |候选n{语义动作n} ; * 编译原理 * YACC规格说明 E→E+T|T T→T*F|F F→(E)|digit * 编译原理 * LR语法分析器的结构 一个LR分析器实质上是一个带先进后出存储器（栈）的确定有限状态自动机。 * 编译原理 * LR语法分析器分析过程举例 文法G：(1)E ? E+T (2)E ? T(3)T ? T*F (4)T ? F (5)F ? (E) (6)F ? i 状态 ACTION GOTO i + * （ ） # E T F 0 S5 S4 1 2 3 1 S6 acc 2 r2 S7 r2 r2 3 r4 r4 r4 r4 4 S5 S4 8 2 3 5 r6 r6 r6 r6 6 S5 S4 9 3 7 S5 S4 10 8 S6 S11 9 r1 r7 r1 r1 10 r3 r3 r3 r3 11 r5 r5 r5 r5 * 编译原理 * YACC中的冲突 YACC可以指出移进-归约冲突