一. 优化的定义 优化是一种等价的，有效的程序变换等价——不改变程序运行结果有效——时空效率要高

可见,非终结符P产生一系列i:T形式的说明语句

1. 类型检查 对数据对象的类型和使用的操作是否匹配的一致性检查称为类型检查. 2. 静态检查和动态检查 ①静态检查使程序更正确更有效 ②动态检查使编程方便,但影响了可读性,且降低了执行效率

1程序单元程序执行过程中的独立调用单 元。如子程序分程序过程等。 2单元表示 编译时,一个单元的源程序

在程序中,用户用标识符定义了不少名 字来代表不同的数据对象,编译程序将这 些名字保存在符号表中。符号表除了记 录名字本身而外,还记录了与名字关联的 各种属性信息

1. LR(K) 分析法 自底向上的LR分析法是指从左向右扫描 输入串,每次分析由分析栈中符号及向前 搜索K个输入符号,以确定作为产生式右部 的短语(句柄)是否已在分析栈的栈顶形成, 从而决定应采取的动作。这种分析方法称 为LR(K)分析法。一般只考虑K1的情况

构成:下推栈,预测分析表,控制程序,输入串 1. 预测分析表 形式:M[A,a]矩阵, AVN,a VT{$} 内容:A→α或出错标志(空白)

文法是语言的生成系统，而自动机是语言的识别系统。自动机分为:图灵机、线性有界自动机、下推自动机、有限自动机

程序设计语言 低级语言：机器语言（二进制代码）、汇编语言（直 接操作寄存器、多种寻址方式）及其它面向机器的程 序设计语言；其特点对计算机的依赖性强、直观性差、 编写程序的工作量大，对程序设计人员要求较高

Why need extending classes? 对真实世界中对象继承关系的支持，满 足面向对象建模技术的需要 对面向对象程序设计语言中对象多态性 (Polymorphism)的实现