CHAPTER 1(编译概述 Introduction to Compiling).pptVIP

第一章：编译概述 Principle of Compiler （编译原理） 课程主要内容 — 编译器（compiler）构造的原理、技术和实践： 编译的基本理论，形式文法与形式语言 编译器实现技术 前导课程 — 高级语言程序设计、离散数学、数据结构和汇编语言： C/PASCAL/FORTRAN/ALGOL 数据结构 汇编语言 教材： Compiler: Principles, Techniques, and Tools Chapter1Introduction to Compiling 编译器概念（Conception of Compiler ） 编译的阶段（Phases of Compiler ） 编译器的结构（Framework of Compiler ） 编译器的实现（Implementation of Compiler ） 编译器的伙伴（Cousins of Compiler ） 1.1 编译器概念 编译程序是现代计算机系统的基本组成部分： 1.1 编译器概念 从功能上看，一个编译程序就是一个语言翻译程序，它把一种语言（称作源语言-source language）书写的程序翻译成另一种语言（称作目标语言-target language）书写的等价的程序。 1.1 编译器概念 1.1 编译器概念 源语言和目标语言是多种多样的 一般来说，源语言是面向人的高级语言，目标语言是面向机器的低级语言（机器语言） 编译器执行的是一个等价变换，程序功能一样，执行结果一样 要考虑时间与空间效率 1.1编译器发展历史 1940’s 没有编译器，手写机器代码 1950’s初期 第一个编译器诞生 (G. M. Hopper) 1950’s晚期 FORTRAN 诞生 1960’s ALGOL 60 第一个具有形式文法的语言。 语法制导编译器诞生 (1961). PASCAL 诞生 (Wirth, 1968). 形式语言理论 1970’s以后 C语言诞生 (1972). 作为UNIX操作系统的一部分发布。 BASIC 诞生 (1975). 1.2 编译的阶段 编译的分析-综合模型 （Analysis-Synthesis Model of Compilation） 分析：分析源程序，计算其基本属性，生成源程序的中间表示（intermediate representation） 综合：将源程序的中间表示转换为目标代码 1.2 编译的阶段 编译的逻辑过程 词法分析（Lexical Analysis） 语法分析（Syntax Analysis） 语义分析（Semantic Analysis） 中间代码生成（Intermediate Code Generation） 代码优化（Code Optimization） 目标代码生成（Code Generation） 1.2 编译的阶段 词法分析（Lexical Analysis） 功能：从左至右读源程序（字符流），识别单词符号（又称记号token） 源程序字符序列 → 单词符号序列 词法分析又称线性分析或扫描（Linear Analysis，Scanning） 单词类型 单词值 标识符1(id1) position 算符(赋值) = 标识符2(id2) initial 算符(加) + 标识符3(id3) rate 算符(乘) * 整数 60 1.2 编译的阶段 语法分析（Syntax Analysis） 功能：层次分析（Hierarchical Analysis） 依据：源程序的语法规则 单词符号序列 → 分析树（Parse Tree）（或语法树-Syntax Tree） 语法分析又称解析（Parsing） 1.2 编译的阶段 语义分析（Semantic Analysis） 功能：语义检查，即验证语法结构合法的程序是否在语义上正确（程序的各个组成部分组合在一起是否有意义）。 收集代码生成阶段需要的语义信息 类型检查与类型转换 分析树 → 带语义（注释）的树 1.2 编译的阶段 中间代码生成 （Intermediate Code Generation） 功能：生成源程序的中间表示。 三地址代码（three address-code） 带语义（注释）的树 → 中间代码 1.2 编译的阶段 代码优化（Code Optimization） 功能：对中间代码