第一章高级程序语言和编译.pptVIP

编译原理 第一章 高级程序语言和编译 本课程解决的主要问题: –如何将源程序翻译成功能等价的目标程序? 问题：1.高级语言源程序及语法描述。(被译者)。 2.编译程序的结构及构造。(译者) 一、高级程序语言及语法规则 高级语言程序处理： 高级语言程序－编译程序－低级语言程序 (源程序) （目标程序） 1.高级语言程序 (1) 程序语言：是一个记号系统，由语法和语义来定义。 语言三大要素：语法，语义和语用： 语法：由基本符号组成语法成分一组规则 语义：按语法规则构成的语法成分的意义－静态语义，动态语义。 语用：使用者与语言符号的关系，涉及符号来源，使用和影响。 高级语言程序：都可看成一给定字符集（称为字母表）上的一个字符串。合乎语法的字符串才算一个合适的程序。（字符流） 程序的构成：基本字符集，单词，句子。 基本字符集：ASCII表中的字符。 单词：由字符集中的字符组成的最小的语法单位。――――词法分析的对象。 标识符 保留字（关键字，基本字） 常数 运算符 界符。如：，,；,括号等。 句子：按语法规则由单词组成。――语法分析的对象，语义检查的对象。 表达式，语句，分程序，函数，过程，程序等。 (2) 语法规则和语义规则 a) 什么是语法规则？ 语法规则 词法规则：单词符号的形成规则。 语法规则：规定了从单词符号形成更大的结构（即语法单位又称句子） 词法和语法规则定义了程序的形式结构，它是判断输入字符串是否构成一个形式上正确的程序的依据。 b)语法规则（又称文法）的表示 文法的表示 BNF范式：便于存储 语法图：直观 ⅰ. BNF范式 构成：用终结符，非终结符，：：＝和︱等构成的式子来描述文法。 例：“标识符”语法成分用BNF范式表示：字母开头的字母数字串： 标识符：：＝字母|标识符字母|标识符数字 字母：：＝A|B|C|…|Y|Z|a|b|…|z 数字：：＝0|1|2|3|4|5|6|7|8|9 根据标识符定义，可以推出字符串a4是一个标识符： 标识符=标识符数字 =标识符4 =字母4 =a4 扩充的BNF范式表示文法的方法将在后面介绍。 由箭头，方框和圆框组成的有向图来描述文法。 方框中的符号为非终结符；圆框中的符号为终结符；箭头指示了语法单位之间的构成关系。 例：“标识符”的语法图 c) 语义规则 定义单词符号及语法单位的含义。（包括语句的动作含义，单词的存储分配的含义等） 例：赋值语句，x:=x+1；求表达式x+1的值，且将该值赋给x表示的存储单元。 又如：int x;说明分配x表示的单元，该单元的存储空间为一个整数最大值的位数。 语义在文法中用属性文法定义。 2.程序,文法及编译程序 关系：  尽管只有少数人去构造或维护编译程序系统。但在软件开发中需要用到编译原理中的技术： 词法分析器中的串匹配技术：用于正文编辑器，信息检索系统及模式识别程序中。 上下文无关文法和语法制导语义：用于排版绘图和语言结构化编辑器的设计。 代码优化技术：用于程序验证器及从非结构化到结构化的编辑器的开发当中。 二、编译程序概述 1.翻译程序的主要方法 翻译程序的基本方法： 编译程序法（编译方式） 解释程序法（解释方式） a)编译程序法 编译程序：将高级语言源程序翻译成等价的机器语言或汇编语言的目标程序。 处理方式： ii)  ii) b) 解释程序法 解释程序：一边解释，一边执行源程序的翻译程序。 注：解释程序不生成目标程序，而编译程序生成目标程序。（两者的区别） 2.编译程序的基本结构 编译程序一般由五个部分组成： 五个部分的工作分别由对应的五个程序来完成： 词法分析程序，语法分析程序，语义分析及中间代码生成程序，代码优化程序，目标代码生成程序。另外再加表格管理程序和出错处理程序――构成编译程序的主要组成部分。 注: 编译程序各部分之间的逻辑关系，不一定是执行时间上的顺序关系。可用扫描遍数及各遍扫描的工作描述各部分之间的组合。 一个编译过程可由一遍、两遍或多遍完成。所谓“遍”是对源程序或某等价的中间语言程序从头到尾扫描并完成规定任务的过程。一遍扫描可以完成一个部分或多个部分的工作。 如：一遍扫描完成词法分析；一遍完成词法分析和语法分析，甚至一遍扫描完成整个编译工作。 遍数的多少主要参考源程序和机器的特征,以及设计目标; 多遍扫描较一遍扫描编译程序占存储空间少，编译程序逻辑结构清晰，但开销大，降低编译效率。 前端与后端工作的组合 前端工作：主要依赖源语言而与目标机器无关的工作，包括：词法，语法及语义及中间代码生成，某些优化工作（相关出错处理和符号表管理工作）。 后端工作：依赖于目标机器而与源语言无关的工作，包括：目标代码生成