编译原理第一章习题答案分析.ppt

* 2.4 出错处理 编译程序在各个阶段应诊断和报告源程序中的错误，包括词法错误，语法错误，语义错误等。编译程序应报告出错地点，并给出简明准确的提示信息。 比如词法分析阶段能够检测出“非法字符”之类的错误；语法分析阶段能够检测出诸如“括号不匹配”、“缺少；”之类的错误。语义错误包括：说明错误、作用域错误、类型不一致等。 * position = initial + rate * 60 词法分析器 id 1 =,- id,2 +,- id,3 *,- 整常数,60 语法分析器 = id,1 + id,2 * id,3 60 语义分析器 = id,1 + id,2 * id,3 inttofloat 60 中间代码生成器 T1=inttolfoat(60) T2=id3*T1 T3=id2+T2 id1=T3 T1=id3*60.0 id1=id2+T1 LDF R2,id3 MULF R2,R2,#60.0 LDF R1,id2 ADDF R1,R1,R2 STF id1,R1 代码优化器 代码生成器 * 本章教学线索 1?编译程序的概念及功能 2 编译程序的逻辑结构及过程概述 3 编译程序（器）的组织 3.1 前端与后端 3.2 遍（PASS)（趟） 3.3 分析与综合 4 编译程序的生成 * 3.1 前端与后端 前端：主要与源语言有关但与目标机无关的那些部分，一般包括：词法分析、语法分析、语义分析与中间代码产生等； 后端：包括编译程序中与目标机有关的那些部分，如与目标机有关的代码优化和目标代码生成等。后端不依赖于源程序而仅仅依赖于中间语言。 源程序 前端 后端 目标代码 中间代码 仅仅依赖于源程序 仅仅依赖于目标计算机 源程序1 源程序2 源程序3 源程序n ……… 前端 后端 目标代码1 目标代码2 目标代码3 ……… 目标代码n 中间代码 * 3.2 遍（PASS）（趟） 对输入文件（源程序或其等价的中间形式）从头到尾扫描，完成预定的处理，生成新的中间结果或目标程序。 using System; namespace ConsoleApplication1 { class Program { static void Main(string[] args) { int i = 0; int j = 1; i = i + j; Console.WriteLine(i is: {0},i); } } } using,关键字 System,关键字 ;,界符 namespace,关键字 ConsoleApplication1,标识符 {,界符 class, 关键字 Program,标识符 {,界符 static,关键字 void,关键字 Main,关键字 (,界符 string,关键字 [,界符 ],界符 args,标识符 {,界符 int,关键字 i,标识符 =,算符 0,常数 ;,界符 int,关键字 j,标识符 =,算符 0,常数 ;,界符 i,标识符 =,算符 i,标识符 +,算符 j,标识符 ;,界符 Console,关键字 .,算符 WriteLine,关键字 “,界符 i is: ,常量 {,界符 0,常量 }，界符 “,界符 i,标识符 ;,界符 },界符 },界符 },界符 一遍 * 3.3 分析与综合 将分析源程序以计算其特性的编译器操作归为编译器的分析部分，而将生成翻译代码时所涉及到的操作归为编译器的综合部分。 分析：词法分析、语法分析、语义分析 综合：中间代码的产生、优化、目标代码的产生 目前：分析正趋向于易懂和更具数学性，而综合则要求 更深的专业技术。 词法分析 语法分析 语义分析 中间代码产生 代码优化 代码生成 源程序 目标程序 符号表管理 出错管理 分析部分 综合部分 * 本章教学线索 1?编译程序的概念及功能 2 编译程序的逻辑结构及过程概述 3 编译程序（器）的组织 4 编译程序的生成 4.1 T形图 4.2 编译程序的自展 4.3 已知一种语言的编译器，构造另一种语言的编译器 4.4 编译程序的移植 4.5 具有代表意义的自动化编译工具 4.6 .NET的公共语言运行环境 * 4.1 T形图 T形图 L1语言要在A机器上运行，需要生成的目标代码为A的机器代码，如果我们用A的机器代码来实现L1语言的编译系统，可以表示为： L1