程序设计语言概论5.pptVIP

程序设计语言概论 复习 2011.12.14 考试时间: 2012.1.4 下午2:00~4:00 考试地点: 第一章 高级程序设计语言的设计目标 程序的解决方案与问题的物理结构相匹配 全世界广泛使用 易证明解决方案的正确性 程序设计语言的编程范型 命令型、函数式、逻辑型、面向对象 第二章 语言设计要考虑的基本因素 硬件计算机 虚拟计算机（或执行模型） 计算模型 虚拟计算机 程序运行时的数据和算法所定义的计算机 第三章 程序的语法与语义 定义、形式、及分类 程序的主要构成 声明+控制 语言的翻译 分析 词法、语法、语义，各阶段的功能 综合 优化、目标代码生成 第三章（续） BNF文法 文法的推导过程 文法定义的语言 语法分析树 文法的二义性及其解决 有限状态自动机(FSA) FSA的能力 接受一个句子与识别一个语言的区别 FSA与正则文法、正则表达式之间的相互转换 下推自动机(PDA) 运行原理 PDA的能力 第四章 语义模型 文法模型、操作模型、应用模型、公理模型、规约模型 属性文法 表达式的语义 程序验证的关键性问题 建模/规约、实现、验证 公理语义 程序正确性证明 第五章 数据对象 数据对象的属性 数据值 数据类型 数据类型的构成 类型的转换 常见基本数据类型的实现 第六章 常见结构化数据类型的实现 常见的抽象机制 结构化数据、子程序、类型声明、继承 抽象数据类型