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

一. 文法 文法是描述语言的语法结构的形式规则,必须准确,易于理解,且描述能力强

一. 不同语言之间的翻译 1. 翻译程序: 等价地变换 2. 编译程序: 高级语言低级语言 3. 汇编程序: 汇编语言机器语言

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

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

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

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

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

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

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