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

语法分析: 自上而下(自顶而下) 自下而上(自底而上) 自顶向下语法分析法:或从开始符号出发, 找最左推导;或从根开始,构造推导树

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

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

• 直观地介绍余归纳的定义、余归纳的证明原理和余代数 • 形式地介绍递归类型 • 形式地介绍归纳类型和余归纳类型 • 解释 – 代数方法是从“构造的”角度研究抽象数据类型 – 余代数方法是从“观察的”的角度描述像对象、自动机、进程、软件构件等基于状态的系统

(1)FIRSTVT集 FIRSTVT(P)={a|Pa…,或PQa…,aVT ,Q VN} 若P→a…或P→Qa…, 则aFIRSTVT(P); 若P→Q…, 则FIRSTVT(Q)FIRSTVT(P); 直至FIRSTVT(P)不再增大

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

程序 一、程序包括两个方面: 1.对数据的描述,即数据结构(data structure) 2.对操作的描述(操作步骤),即算法(algorithm) 二、操作的对象是数据, 三、操作的目的是对数据进行加工处理,以获取结果 四、算法:解决”做什么”和”怎么做”的问题 五、语句(statements)只是算法的具体体现 六、沃思公式:数据结构+算法=程序

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

数据类型(Type) 一、数据类型:是数据结构的表现形式 二、决定了该类型的变量或者常量的取值范围 三、决定了该类型的变量或者常量可以执行哪些操作