编译原理 符号表和词法分析.pptVIP

第四章 符号表词法分析 一、符号表及其作用（续一） 一、符号表及其作用（续二） 二、符号表的内容 二、符号表的内容（续二） 二、符号表的内容（续三） 三、存储分配符号表的组织 存储分配原则:（参见例P81） 1、标号、类型标识符和过程标识符不分配单元。 （1）标号对应机器语言是一个地址，不需要分配单元。 （2）类型标识符定义了某种类型，不需要分配单元。 (3)过程标识符没有值，也不需要分配单元。 2、常量、简单变量、数组、形参和函数等需要分配单元。 三、存储分配符号表的组织（续一） 静态分配：编译时能够确定所需存储空间的大小，并进行存储分配。 1、同一分程序的不同分量分配在不同单元。 2、内外层中的不同量分配在不同的单元。 形参的分配。 eg. Procedure sum1(var sum:integer,I:integer); begin sum:=sum+I; end; 形参的分配。 eg. Procedure sum1(var sum:integer,I:integer); begin sum:=sum+I; end; 原则： 1、如果形参是按值调用，则分配一个单元存放实参的值 2、如果形参是按名调用，则分配一个单元存放实参的地址。 四、标识符的处理 四、标识符的处理 五、符号表的结构和存取 符号表结构： 无序符号表 有序符号表 树结构符号表 栈符号表 hash表 六、词法分析 任务： 词法分析阶段: 扫描源程序的ASCII码序列,拼出每一个单词,并把每个 单词的ASCII码序列替换为所谓的机内表示TOKEN形式（属性字）,这时还检查词法错误。 六、词法分析（续一） 七、取单词 1、单词的种类 单词由字符组成。 字符::=字母|数字|特定符号|无效字符 字母::=a|b|c|..z|A| B|C|...|Z 数字::=0|1|2|3|...|9 特定符号::=+|-|*|/|:=|||…. 无效字符::=回车符|换行符|制表符 symbol=(ident,constsy,notop,mul,div,add,sub….) 单词的机内表示采用长度统一的二元形式(token字) (单词种别码,单词的自身值) 七、取单词 流程图 八、读标识符 1、标识符的文法规则 标识符::=字母{字母| 数字 } 字母::=a|b|c|..z|A| B|C|...|Z 数字::=0|1|2|3|...|9 九、词法分析器的自动生成 词法分析程序的自动生成问题 Lex语言 十、一个实例 1、查填符号表（见书） 十、一个实例 * * 一、符号表及其作用 二、符号表的内容 三、存储分配符号表的组织 四、标识符的处理 五、符号表的结构和存取 六、词法分析 七、取单词 八、读标识符 九、词法分析器的自动生成 十、一个实例 一、符号表及其作用 1.编译程序逻辑图 表 格 管 理 错误处理 源程序 词法分析 语法分析 中间代码生成 中间代码优化 目标代码生成 目标程序 符 号 表 （单词属性表） 常量表 变量表（标识符表） 保留字表 特殊符号表 数组信息表 过程信息表 …… 名 字 属 性 符 号 表 静 态 表：保留字表，标准函数表等 动 态 表：标识符表，过程信息表等 符号表 查填 隐式说明语言的符号表查填 ： FORTRAN语言 显式说明语言的符号表查填：pascal，c等 符号表的作用：辅助语义正确性检查、辅助目标代码的生成 单词的基本属性（Pascal语言为例） 1、保留字的属性 2、特殊符号的属性 3、常量的属性 eg. begin, end, procedure, to, for, with 属性 eg. +, *,/,,,等 属性 属性: 名字、值、类型 eg. 100，false，0.5等 二、符号表的内容（续一） 4标识 符的属性 标准类型标识符：integer,char,real 常量标识符 简单变量标识符 过程/函数标识符 数组标识符 名字、值、类型 名字、类型、地址 var i,j,k:integer; var a:array[1..10]of integer; 名字、类型、维数、上下界、下标类型、数据区首地址等 Procedure sear