输入输出语句： S →Write(E) E.tuple (WRITE, E.Arg); S → Read(V) V.tuple （READ, V.Arg） 语法制导： S → Read(V) #READ S → Write(E) #WRITE

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

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

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

它具有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

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