2.5.1.1归约(Reduce) 自下而上(Bottom--Up)分析采用“移进一归约 ”(shift-reduce-)的基本思想 ·把输入符号逐个移进到一个符号栈,当栈顶形成 某个产生式的候选式时,即把栈顶的这一部分替换 成(归约为)该产生式的左部符号

引言和预备知识 文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明

 存储组织与分配  程序单元、运行时内存划分与活动记录  静态/动态存储分配  动态栈式的过程调用/返回  非局部名字的访问  参数传递  参数传递的方式及其实现

One parse tree only a The role of the grammar a distinguish between syntactically legal and illegal programs a But that's not enough: it must also define a parse tree a the parse tree conveys the meaning of the program What if a string can be parsed with multiple parse trees? a we say the grammar is ambiguous a must fix the grammar(the problem is not in the parser) a Note: often a string can be derived in more than one way D ie, with more than one derivation sequence o this does not mean the grammar is ambiguous

yacc代表 Yet Another Compiler Compiler 由S.c. Johnson等人在AT&T贝尔实验室研制开发 的,早期作为UNIX操作系统中的一个实用程序, 现在Yacc得到广泛使用。 yacc有多个版本, Bison是它的一个常用版本

TAC Three address code Three-address code (tac) will be the intermediate representation used in our Decaf compiler. It is essentially a generic assembly language that falls in the lower-end of the mid-level IRs. Many compilers use an IR similar to TAC. It is a sequence of instructions, each of which can have at

2.4语法分析一自上而下分析 一、本章主要介绍语法分析的处理 三、要进行语法分析,必须对语言的语法结构进行描述。 四、采用正规式和有限自动机可以描述和识别语言的单词符号; 五、用上下文无关文法来描述语法规则

• Lex 代表 Lexical Analyzar • 使用LEX工具可根据描述语言的词法构成规则的正规式来自动生成扫描程序。 • LEX在unix平台上使用，在windows平台上的一种常用实现是FLEX，它是GNU compiler package的一部分

介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式； 7.1 中间语言 7.2 声明语句 7.3 赋值语句 7.4 布尔表达式和控制流语句

A.1 Introduction A-3 A.2 Assemblers A-10 A.3 Linkers A-18 A.4 Loading A-19 A.5 Memory Usage A-20 A.6 Procedure Call Convention A-22 A.7 Exceptions and Interrupts A-33 A.8 Input and Output A-38 A.9 SPIM A-40 A.10 MIPS R2000 Assembly Language A-45 A.11 Concluding Remarks A-81 A.12 Exercises A-82