lr分析器第一章review.pptVIP

编译逻辑过程 词法分析 语法分析 语义分析 中间代码生成 代码优化 目标代码生成 词法分析 功能 词法分析 从左至右读字符流的源程序、识别(拼)单词 词法分析position := initial + rate * 60; 单词类型 单词值 标识符1(id1) position 算符(赋值) := 标识符2(id2) initial 算符(加) + 标识符3(id3) rate 算符(乘) * 整数 60 分号 ； 又如一个C源程序片断： int a; a = a + 2;词法分析后可能返回: 单词类型 单词值 保留字 int 标识符(变量名) a 界符 ; 标识符(变量名) a 算符(赋值) = 标识符(变量名) a 算符(加) + 整数 2 界符 ； 语法分析 功能: 语法分析 功能:层次分析.依据源程序的语法规则把源程序的单词序列组成语法短语(表示成语法树). 语法分析 功能:层次分析.依据源程序的语法规则把源程序的单词序列组成语法短语(表示成语法树). 规则 赋值语句::=标识符“:=”表达式 表达式::=表达式“+”表达式 表达式::=表达式“*”表达式 表达式::=“(”表达式“)” 表达式::=标识符 表达式::=整数 表达式::=实数 如： position := initial + rate * 60 ; position + initial := rate * 60 position := initial + rate * 60 id1:=id2+id3*N 语义分析 语义审查(静态语义) 语义分析 语义审查(静态语义) 上下文相关性 类型匹配 类型转换 语义分析 语义审查(静态语义) 上下文相关性 类型匹配 类型转换 Program p(); Var rate:real; Var initial :real; Var position :real ; … position := initial + rate * 60 /*warning*/ position := initial + rate * 60.00 语义分析 中间代码（中间表示）生成 源程序的内部(中间)表示 三元式、四元式、P-Code、C-Code、 U-Code、bytecode ( * id3 t1 t2 ) t2 = id3 * t1 t2 := id3 * t1 id1:= id2 + id3 * 60 id1:= id2 + id3 * 60 代码优化 代码优化 代码优化 t1 = b* c t2 = t1+ 0 t3 = b* c t4 = t2 + t3 a = t4 代码优化 t1 = b* c t1 = b* c t2 = t1+ 0 t2 = t1 + t1 t3 = b* c a = t2 t4 = t2 + t3 a = t4 目标代码生成 对下列错误信息，请指出可能是编译的哪个阶段（词法分析、语法分析、语义分析、代码生成、优化、）报告的。 else没有匹配的if; 声明和使用的函数没有定义； 不能构成任何单词的字符； 数的数字字符个数太多; 数组下标越界； * 赋值语句 标识符 表达式 表达式 + 表达式 表达式 标识符 整数 标识符 := 表达式 * := + N 60 * id1 Position id2 initial id3 rate 例: Program p(); Var rate:real;