计算机编译原理.pptVIP

计算机编译原理 王海文 wanghaiwen@ 2005 本书结构 第一章 语言程序概述 第二章 文法与语言 第三章 词法分析 第四章 语法分析 第五章 编译程序的数据结构和符号表 第六章 语法制导翻译 第七章 编译程序 课程要求 基础理论：熟悉基于形式语言理论的编译程序构造原理和高级语言的实现原理。 基础知识：全面掌握词法分析、语法分析和语法制导翻译方法等计算机处理技术，了解高级语言中各种语言成分的实现方法。 基本技能：掌握计算机语言处理系统中各种通用的分析和翻译技术，以及自动生成系统的运用。 本课程的目的 构造编译器基本知识 编译的阶段和相关的活动 相关数据结构和算法 计算机科学中相关的基础理论 形式语言与自动机 进一步加深对软件开发的认识 第一章 概述 【课前思考】◇ 什么是编译程序？◇ 编译过程和编译程序的结构？ 【学习目标】介绍语言翻译的基本概念 程序和语言 翻译和解释 介绍翻译的步骤和相关的活动 介绍编译器的开发方法 知 识 结 构 课前说明 基于形式语言理论中的有关概念来讨论编译实现问题。即 编译原理=形式语言理论+编译技术 本书主要内容涉及： 高级程序设计语言 形式语言理论的基本概念 构造编译程序的基本概念、原理和技术 基本观念——程序、语言 计算机、程序、语言 计算机接受指令，然后执行指令 指令组成的序列，称为程序 符合一定规则（文法）的程序的集合，称为语言 语法（形式） 语义（意义） //形式与意义之间的对应关系？ 讨论：C语言与C语言程序之间的关系 基本观念——语言与程序 语言的作用 设计程序(选出特定的程序——构造程序) 程序的作用 由计算机执行 在人之间的交流想法，由于程序没有歧义 如何定义语言——本课程要学习的内容 以有限的规则，定义无限多的程序 。 基本观念——语言的多样性 语言的多样性 方便在特定领域的应用 交流障碍 解决方案 统一语言，一个梦想 没有个性的语言 语言的不断发展 翻译 基本观念——语言之间的翻译 对翻译的要求 保持程序的意义，即功能不变。 翻译的可能性 Church猜想与通用计算机（语言的等价性） ++、--、JNZ 翻译的策略——软件开发过程的策略 编译（整体翻译） 解释（逐句的翻译、执行） 程序的执行方式 高级语言程序通常采用两种方式执行：解释方式和翻译方式 解释方式：逐个语句地分析和执行，如Basic，Prolog 优点：易于查错 缺点：效率低，运行速度慢 翻译方式：对整个程序进行分析，翻译成等价机器语言程序后执行，如Pascal，Fortran，C 优点：只需分析和翻译一次， 缺点：在运行中发现的错误必须在源程序中查找 什么是编译程序？ 定义：是一种语言转换系统 编译程序的功能 从功能上看，一个编译程序就是一个语言翻译程序。 源语言通常是一个高级语言，如FORTRAN，C 或Pascal。 目标语言通常是一个低级语言,如汇编或机器语言。 T形图 编译程序在计算机系统中的作用 编译系统是一种软件，一种系统软件。 软件：计算机系统中的程序及其文档。 系统软件：居于计算机系统中最靠近硬件的一层，其他软件一般都通过系统软件发挥作用。和具体的应用领域无关，如编译系统和操作系统等。 语言处理系统：把软件语言书写的各种程序处理成可在计算机上执行的程序，如编译系统。 编译程序的组成结构 编译程序的结构 翻译之前的准备 必须了解的 源语言（翻译谁——输入） 目标语言（翻译成谁——输出） 翻译方法（如何实现翻译） 如何定义源语言和目标语言 程序的基本组成是字符，程序是一个字符串 由字符组成程序的方法 (1) 词法分析(Lexical analysis) 词法分析程序又称扫描程序。 是编译过程的第一个阶段，其任务是：读源程序的字符流、识别单词（如标识符、整数、界限符等），并转换成内部形式。 输入字符串（即源程序） 输出单词符号（最基本的语法单位） 。 词法分析举例 一个C源程序片段： int a; a=a+2; 词法分析后返回(如右图)： (2) 语法分析（Syntax analysis） 语法分析 语法定义如何由单词符号组成更大的语法单位 输入单词符号 输出语法单位及其之间的关系，通常是语法树 表达语法规则的主要工具为上下文无关文法 id1:=id2+id3*10 的语法树 id1:=id2+id3*10的语法树的另一种形式 (3) 语义分析(Semantic analysis)和中间代码生成 语义分析和中间代码生成 分析（检查和计算）程序中各个语法单位的语义，翻译为中间代码形式。 输入语法单位及其之间的关系（语法树） 输出中间代码 表达语义规则的主要工具是属性文法 表达中间代码的主要工具是四元式 主要使用语法制导