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

1. SLR方法 当某个项目集形如 I={X→•b, A→•, B→•}时, 出现了移进-归 约冲突和归约-归约冲突, 可用如下方法解决, 该 方法称为SLR方法

1. 用户定义类型与内部类型的异同 ①都建立某种基本表示的抽象如:integer是位串的抽象;reg_polygon是记录的抽象 ②每一类型都关联一组操作 ③内部类型隐蔽了基本表示，不能对它的成分进行操作;用户定义类型具有更高级别的抽象，可以对其基本表示的成分进行操作

1. 两个或两个以上程序单元之间交错地执行,这样的程序称为协同程序

(1)代码外提 (2)强度削弱

控制语句也可采用改写文法的方法 S→if B then S1 │if B then S1 else S2 │while B do S1

程序投入运行的必要条件： 一组可运行的代码 一个运行环境：分配空间、提供运行信息

五. 一类控制语句的翻译 1. 文法及其分析

控制结构:程序员用来规定程序各个成分 的执行流程的控制部分。 语句级控制结构:语言用来构造各种语句 执行顺序的机制。 传统语言的三种语句级控制结构:顺序、 选择、重复

一.C54X汇编工具的使用 C54X的源程序可以使用汇编或C语言编 写。使用汇编语言是可以使用助记符 指令集(Mnemonic Instruction Set )或代数指令集(Algebraic Instruction Set),但两种不能混用