编译原理chapter1详解.ppt

编译原理compiler principles 张志远 南4－320extbook References 教材：张素琴等，编译原理（第2版），清华大学出版社，2005 参考书： 1、Alfred等，赵建华等翻译，编译原理（本科教学版），机械工业出版社 2、陈火旺等，程序设计语言编译原理（第3版），国防工业出版社，2000 3、陈意云等，编译原理，高等教育出版社，2003 4、MOOC 编译原理（斯坦福大学） 第1章 概述 1.1 什么是编译程序 1.2 编译过程 1.3 编译程序的结构 1.4 编译程序的生成 1.1什么是编译程序(compiler) 分类 软件 系统软件 语言处理系统 什么是编译程序 从功能上看，一个编译程序就是一个语言翻译程序，它把一种语言(称作源语言)书写的程序翻译成另一种语言(称作目标语言)的等价的程序. 第一个编译程序： Fortran：20世纪50年代，18个人年 什么是编译程序 功能 什么是编译程序 语言转(变）换系统 一些术语 编译程序(compiler) 源语言(source language) 目标语言(object or target language) 实现语言(implementation language) 交叉编译程序(Cross Compiler） 编译程序与解释程序的区别 解释程序： 不产生目标程序，解释一句执行一句 编译程序： 生成目标程序后作为一个整体来执行 编译程序和解释程序 如对源程序：… … b := 2 ; a := b+2 ; 编译程序 write a ; … … 解释程序 直接将4的值输出（显示） （直接对源程序中的语句进行分析，执行其隐含的操作。） 1.2 编译逻辑过程 词法分析 语法分析 语义分析 中间代码生成 代码优化 目标代码生成 词法分析—第一步识别单词 英文句子由单词构成 This line is a longer sentence. （字母组成的有集体含义的最小成分） 句子开头的单词第一个字母要大写 空格是单词分隔符 句点是句子结尾 ist his linealon gerse nte nce. 词法分析 从左至右扫描字符流的源程序、分解构成源程序的字符串，识别出(拼)一个个的单词（符号） 单词符号(Token)是语言中具有独立意义的最基本结构。多数程序语言中，单词符号一般包括 各类型的常数、保留字、标识符、运算符、界符等等。 例如: double f = sqrt(-1); 词法分析 double f = sqrt(-1); TDOUBLE (“double”)TIDENT (“f”)TOP (“=“)TIDENT (“sqrt”) TLPAREN (“(“) TOP (“-”) TINTCONSTANT (“1”)TRPAREN (“)”)TSEP (“;”) 词法分析 词法分析(lexical analysis or scanning) --The stream of characters making up a source program is read from left to right and grouped into tokens,which are sequences of characters that have a collective meaning. 单词---token 保留字---reserved word 标识符 ---identifier(user-defined name) 例 程序文本If (x == y) z = 1; else z = 2; 经词法分析，变成一个个单词 if, (, x, ==, y, ), z, =, 1, ;, else, z, =, 2, ; 语言的单词符号是由词法规则所确定的。词法规则规定了字母表中哪样的字符串是一个单词符号。 position = initial + rate * 60; 单词类型 单词值 标识符1(id1) position 算符(赋值) = 标识符2(id2) initial 算符(加) + 标识符3(id3) rate 算符(乘) * 整数