编译原理262446.pptVIP

第一章 引论 什么是编译程序 编译过程和编译程序的结构 解释程序和一些软件工具 程序设计语言范型 1.1 什么是编译程序 从功能上看，一个编译程序就是一个语言翻译程序，它把一种语言(称作源语言)书写的程序翻译成另一种语言(称作目标语言)的等价程序 什么是编译程序 功能 什么是编译程序 分类 硬件 软件 系统软件 语言处理系统 分类 软件：计算机系统中的程序及其文档的统称 系统软件：居于计算机系统中最靠近硬件的一层，其他软件一般都通过系统软件发挥作用。他和具体的应用领域无关，如编译系统和操作系统等。 几个术语 编译程序 (Compiler) 需要编译的源程序/语言 (Source Program, Source Language) 编译形成的目标程序/语言 (Object or Target Program/Object or Target Language) 编译程序的实现语言 (Implementation Language) 语言处理程序 (Language Processor) 语言转(变)换 (Language Transformation) 什么是编译程序 语言转(变)换系统 编译的逻辑过程 词法分析 语法分析 语义分析 中间代码生成 代码优化 目标代码生成 词法分析 第一步，识别单词，因为英文句子是由单词组成的：字母组成的有集体含义的最小成分 句子开头的单词第一个字母要大写 空格是单词分隔符 句点是句子结尾 规范 词法分析 从左至右扫描字符流的源程序、分解构成源程序的字符串，进而识别出(拼)一个个的单词符号 单词符号是语言中具有独立意义的最基本结构。多数程序语言中，单词符号一般包括—各类型的常数、保留字、标识符、运算符、界符等等。 例如 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 单词---token 保留字---reserved word 标识符 ---identifier(user-defined name,即用户定义的名称) 词法分析 position := initial + rate * 60;单词类型 单词值 标识符1(id1)position 算符(赋值) := 标识符2(id2)initial 算符(加)+ 标识符3(id3)rate 算符(乘)* 整数60 分号； 词法规则 语言的单词符号是由词法规则所确定的。词法规则规定了字母表中哪样的字符串是一个单词符号 有怎样的词法规则？ 语法分析 Syntax Analysis 也称为Parsing 功能：依据源程序的语法规则把源程序的单词序列解释成语法短语，通常表示成语法树 语言的语法规则规定了如何从单词符号形成更大的结构，即语法单元 语言和文法 为什么关心文法问题？为语言的描述寻求一种工具(以确定什么样的句子属于该语言)。穷举法是不合适的(原因？)。提供有限的描述语言特性的法则—文法要对程序设计语言给出精确无二义的语法描述，严谨、简洁、易读 形式化工具“形式化”是指这样的事实：语言的所有规则只以什麽符号串能出现的方式来陈述，形式化很像是数学的符号化 EBNF范式(p15) EBNF范式，即扩展的巴科斯-瑙尔范式，是常见的语言文法表示方法 它包括下述一些内容： ‘ ’：用左右尖括号括起来的部分表示语法构造成分，或称语法单元，为非终结符 ‘::=’：该符号的左部由右部定义，可读作“定义为” ‘|’： “或”的意思，表示左部可由多个右部定义 ‘{ }’：花括号内的语法成分可以重复 ‘[ ]’：方括号内的成分为可选项 ‘( )’：圆括号内的成分优先 This line is a longer sentence 语法分析 又例(Pascal规则)： position := initial + rate * 60 ; 赋值语句::=标识符“:=”表达式 表达式::=表达式“+”表达式 表达式::=表达式“*”表达式 表达式::=“(”表达式“)” 表达式::=标识符 表达式::=整数 表达式::=实数 符号“::=”表示定义为 语法分析树 语法分析 上页给出了语法分析树的例子 Parsing Tree, or Derivation Tree 语义分析 注意与词法以及语法分析的不同 语法分析获得句子的结构，但