一、LRSM给出了所有的可归活前缀 二、LRSM中的每个状态将对应一个饱和项目集： （1）其中一部分是由先驱状态分出来(称为基本项目)； （2）一部分则是由基本项目扩展出来的(称为扩展项目或派生项目)。派生部分项目的特点是其中的

一、开始符产生式的右部是归约活前缀。 二、如果A是归约活前缀，且A→是产生式，则也是归约活前缀

一、 自底向上分析的思想和主要问题 二、几种LR分析方法：

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

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

一、中间语言 二、简单表达式的中间代码生成 三、原子语句的中间代码生成 四、结构语句的中间代码生成 五、声明的中间代码

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

一、声明的语义分析； 二、执行体的语义分析： 三、表达式的语义分析； 四、语句的语义分析；

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

标识符的作用： 声明部分：定义了各种对象及对应的属性和使用规则。 程序体：对所定义的对象进行各种操作