一、运算分量类型的相容性； 二、赋值语句左右类型的相容性； 三、形参和实参类型的相容性； 四、类型相容： 五、类型等价则相容

一、语义分析概述(必要性、功能、描述方法) 二、符号表 三、类型表达式 四、声明和程序体的语义分析

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

一、 LR(0)方法对文法的要求严格。 二、 LR(0)方法容易出现冲突状态

递归下降法(Recursive-Descent Parsing) 对每个非终极符按其产生式结构产生相应 语法分析子程序. 终极符产生匹配命令 非终极符则产生调用命令 文法递归相应子程序也递归，所以称这种 方法为递归子程序方法或递归下降法

一、 语法分析概述 二、文法 三、进行语法分析的几种方法 四、语法错误处理

一、描述程序设计语言中单词的一种简单而且数学化的工具。 二、表示符号串的构成模式 三、正则表达式r定义了一个符号串集合rs

一、目标代码(单寄存器) 二、临时变量的存储空间分配 三、寄存器的分配和释放

一、语义处理的抽象描述。 二、作用：自动实现语法和语义检查 三、分类：

对文法进行化简和改造 希望定义语言的文法尽可能简单 某些语法分析技术对文法有要求和限制：LL分析 要求文法无左递归；算符优先分析要求文法不含