编译原理学习笔记三

词法分析程序

（1）识别出源程序中的各个基本语法单位

（2）删除无用的空白字符，回车字符以及其它与输入介质相关的非实质性字符

（3）删除注释

（4）进行词法检查，报告所发现的错误。

语法分析程序

分析源程序结构，判断是否为合法程序。

一般途径是由语法分析程序试着为其构造一棵完整的语法树。

叶子标记是程序各个单词，内部结点是有关语法构造名。

中间代码生成

逆波兰式 三元式 四元式 树形结构

代码优化程序

两个标准：空间指标  时间指标

词法分析到中间代码生成为前端 代码优化和目标代码生成为后端

JAVA前端产生字节码 计算机上有JAVA虚拟机即可解析执行

什么是语言

（1）一个语言仅含有限个句子 用枚举法

（2）制定有限条规则

（3）自动机装置 识别检验符号串

∅+A=A+∅=A

∅A=A∅=A

{ ξ }A=A{ ξ }=A

A^0={ ξ }

U::=u  左部变量和右部符号串

文法G[S]=(Vn,Vt,P,S)

大写拉丁字母为文法非终结符

小写拉丁字母为文法终结符

希腊字母 符号串

设G=（Vn，Vt，P，S）为一文法

满足下面四个条件的一棵树称为G的语法树

（1）每一结点均有一标记，它为Vn∪Vt中的一个符号

（2）树的根结点以文法的开始符号标记

（3）若一结点至少有一个后继，则结点上的标记为Vn中的一个符号

（4）若一个以A为标记的结点有R个后继，且按由左到右的顺序，结点标记为X1，X2....Xr

          则A→X1X2....Xr必是G的一个产生式。

peculiar     奇怪的 古怪的 特殊的

naval          海军的

draft            草稿图的 征兵 选秀

enquiry，inquiry  询问 调查

amiable     和蔼 亲切

doctrine     教义 主义

panorama 全景 概观

mock          愚弄

puff             喷出 吹嘘

metabolic 新陈代谢的

plausible  似真实的

quench     熄灭 冷浸

fraction     分数 分段

ambitious 有雄心的