一个程序设计语言是一个记号系统，如自然语言一样， 它的完整的定义应包括语法和语义两方面。所谓一个语言的语 法是指一组规则，用它可以形成和产生一个合适的程序，目前 在程序设计语言的识别中广泛使用的是上下文无关的文法。在 这理主要介绍文法和语言的概念

Symbol table: major inherited attribute and major data structure in a compiler Principal operations: – Insert: store the information provided by name declarations when processing these declarations – Lookup: retrieve the information associated to a name when that name is used in the associated code

Main idea LL(1) Parsing uses an explicit stack rather than recursive calls to perform a parse An example: – a simple grammar for the strings of balanced parentheses: S→(S) S∣ε The following table shows the actions of a top￾down parser given this grammar and the string ( )

SLR(1), called simple LR(1) parsing, uses the DFA of sets of LR(0) items as constructed in the previous section SLR(1) increases the power of LR(0) parsing significant by using the next token in the input string – First, it consults the input token before a shift to make sure that an appropriate DFA transition exists

Generate executable code for a target machine that is a faithful representation of the semantics of the source code Depends not only on the characteristics of the source language but also on detailed information about the target architecture, the structure of the runtime environment, and the operating system running on the target machine

一、 表达式的语义分析 二、语句的语义分析 三、赋值语句的语义分析 四、调用语句的语义分析 五、标号语句的语义分析 六、结构语句的语义分析

它具有SLR(1)的状态数少的优点和LR(1) 的适用范围广的优点。 LALR(1)方法的功能介于SLR(1)和LR(1) 之间。 LALR(1)状态机的状态个数和LR(0)状态 机的状态个数相同，而其展望符则即不 采用SLR(1)的Follow集方法，也不采用 LR(1)的完全精确法

LR(0)方法不依赖输入流，直接判定归约， 容易出现冲突。 SLR(1)方法简单的把非终极符的follow集做 为可归约的依据，并不精确

一、确定有限自动机DFA(Deterninistic FA) 二、确定有限自动机DFA的实现 三、非确定有限自动机NFA(Nondeterninistic FA) 四、 NFA到DFA的转换 五、 DFA的化简

第十章代码生成 一、代码生成要考虑的主要问题 二、基本块的代码生成(在一个基本块范围内 三、考虑如何充分利用寄存器的问题) 四、从dag生成代码