北京大学程序设计语言概论考试复习.doc

1. 理教103；1.10；8:30-10:30；理科1号楼1809 2. 第一章 a) 程序设计语言的定义 i. 符号+规则 ii. 数据+算法 b) 高级程序设计语言基本特征 i. 形式和编写独立于计算机，比机器语言复杂，跟接近于问题的自然表述 c) 程序设计语言的编程范型 i. 命令型、函数式、逻辑型、面向对象（重要地位） 3. 语言设计要考虑的基本因素 a) 硬件计算机：数据，操作，存储，访问，控制等和语言之间都有一定的对应关系 b) 虚拟计算机（或执行模型） c) 计算模型 4. 语言的实现本质上就是将程序设计语言转换成计算机很处理的数据、指令和算法的过程 a) 翻译、解释 5. 虚拟计算机（重点） a) 程序运行时的数据和算法所定义的计算机 b) 语言中的各种成分最终都会和虚拟计算机中的具体成分绑定起来 i. 绑定和绑定时间：给定一条语句，最终这条语句的成分都需要绑定，关联的时间：运行时、编译时等等（注意） 6. 第三章 a) 语言的语法 i. 一般准则（了解性） ii. 二义性问题、及其解决方法 b) 语言的翻译 i. 分析 1. 词法、语法、语义，各阶段功能 ii. 综合 c) BNF语法（重点 容易出题） i. 文法的推导:从左向右，从右向左 ii. 文法定义的语言：（关键） iii. 语法分析树 iv. 文法的二义性及其解决 d) 有限状态自动机（FSA） i. FSA的能力 ii. ***接受一个句子与识别一个语言的区别：要证明一个文法是上下文无关文法还是正则文法就可以用a^nb^n来判断，因为正则文法是没有办法识别这个语言的，虽然他是可以接受的。 1. 例如：E-E+E|E*E|I正则文法，可以简化为：α-αβ|α; 2. E-E+E|E*E|i|(E)上下文无关，可以简化为S-aSb|ab： iii. FSA与正则文法、正则表达式的之间的相互装换 e) 下推自动机（PDA） i. 运行原理 的能力PDA ii. 7. 第四章 a) 语法模型：乔姆斯基分级文法 i. 形式 ii. 能力 b) 计算模型：图灵机 i. **图灵机的结构、运行原理、能力 ii. 停机问题：图灵机的能力，语言的能力，（**简单的证明，所有的语言能力都是相等的，语言的区别不在于能力的大小，而是形式上的差别：用反证法证明） c) 语义模型 i. 属性文法，表达式的语义：知道一个表达式的属性文法是怎样给出的，课上有一个具体的例子 ii. 公理语义，程序正确性证明：对小型程序来讲不是特别困难，只要给出每一个句子的前置条件和后置条件就可以了 1. 例如t=x; x=y; y=t要证明程序就是做x，y的互换 a) 在每一个语句之前和之后给出它的公理就可以了 i. {x=x, y = y}t=x,{t=x y = y}x=y;{t=x,x=y}y=t{y=x,x=y} 8. 第五章 a) 数据对象 i. 数据对象的属性 ii. 数据值 b) 简单数据类型 i. 规约：属性，值，操作 ii. 实现：存储表示（**实数的表示，带描述算子的，后一张结构化数组的数据类型较难一点）操作实现 c) 数据对象的声明： i. 声明的内容 ii. 声明的目的 d) 类型检查 i. 静态和动态类型检查，优缺点和局限性：（**思考什么样的情况（什么样的数据类型）没法动态检查或静态检查，为什么会出现运行错（因为静态检查没有做或做不到）） e) 常见基本数据类型的实现：整形，实型，字符（了解软件实现还是硬件实现） 9. 第六章 a) 结构化数据类型： i. 规约和实现的重点：不见的数量、类型、名字、组织方式（顺序，随机【链表】等等）、以及不见的选择和操纵 ii. 实现中存在的问题：存储表示（**有例子，地址的计算，图形安排）和管理、部件的访问效率 b) 常见结构化数据类型的实现：数组记录，可变记录 c) 子程序： i. 规约和实现 1. 规约中存在的问题 ii. 定义与激活 激活的实现 1. d) 类型定义 i. 类型等价与数据对象相等： 1. 类型等价多个对象所具有的类型是否相等，简单数据类型很容易，结构化数组类型等价就比较麻烦（按名判断等价，结构判断等价）； 2. 数据对象相等实在类型等价之后：即使是等价的数据类型，数据对象的相等也不是那么容易判断，非常困难（*集合的相等，就很难：不能仅仅判断A[j]==B[j] or not） 10. 第七章 a) 抽象数据类型 i. 定义与实现： b) 类属的抽象数据类型（*区别与上一个：声明时候int a[100]，类属抽样数据类型的参数是一个变量，可以