教学

编译原理

第一章   引论

第三章   词法分析

第四章   语法分析

部分习题:

P169：4.8.1的1,2; 4.8.2的1

P176：4.9.1

第五章   语法制导的翻译

P186：5.1.1的1

P191：5.2.4

P195：5.3.1

P204：5.4.2，5.4.4(2)，5.4.5（只处理5.4.4(2)的SDD）

P215：5.5.1（只处理5.4.4(2)的SDD），5.5.2（只处理5.4.4(2)的SDD）

第六章  中间代码生成

P225：6.2.1(1，2)，6.2.2(1,2)

P230：6.3.1

P235：6.4.1，6.4.2

P239：6.5.1(1)

P246：6.6.1(1)

P251：6.7.1(1)

第七章 运行时刻环境

P266：7.2.4

P282：7.4.1

P286：7.5.1

P294：7.6.1(1)

第八章 代码生成

P305：8.2.2(1)(2)，8.2.4

P309：8.3.1；8.3.2（假定x是局部变量，而a是全局变量）

P314：8.4.2

P320：8.5.1；8.5.6

P325：8.6.1(1)(4)；8.6.3(只作1，4对应的三地址指令序列；8.6.4（同样只做1，4）

P327：8.7.2（有兴趣的做一下）

第九章 机器无关优化

P353：9.1.1，9.1.4

P365：9.2.1，9.2.2，9.2.3

P376：9.3.4（选做）

P380：9.4.2（选做）

P388：9.5.1，9.5.13（选做）

实习一  词法分析

实习二  语法分析

实习三 使用Yacc的语义分析

实习四 代码生成的实习

数据结构

第一章 概论

第二章 线性表

第三章 栈和队列

第四章 数组,串与广义表

第五章 树与二叉树

第六章 集合与字典

第七章 搜索结构

第八章 图

第九章 排序

第十章 文件、外部排序与搜索

实习信息

软件可靠性工程

                    第一章 总论

                    第二章 定义必要的可靠性

 第三章 开发操作剖面

第四章 准备测试

第五章 执行测试

第六章 使用测试数据

第八章 软件可靠性模型

容错系统技术 1, 2

程序的公理化证明

净室开发技术

概述

净室软件规范

净室软件开发

净室软件认证

新生研讨课

第一课 问题的描述

第二课 算法设计的基本方法

第三课 一些抽象概念

第四课 程序证明

题目分类