I. Pre-Swift progress II. Recent progress and implications III. GRB cosmology

南京大学：Mathematical Preliminaries Strings and Languages（PPT讲稿）

南京大学：复杂系统学习（PPT课件讲稿）佩特里网 Petri Nets

 从面向过程到面向对象  如何规约对象？——抽象！  Abstract data type  ADT与软件开发

南京大学：《编译原理 Principles and Techniques of Compilers》课程教学电子教案（实验讲义）实验一 词法分析与语法分析

南京大学：《编译原理 Principles and Techniques of Compilers》课程教学电子教案（实验讲义）实验三 中间代码生成

南京大学：《编译原理 Principles and Techniques of Compilers》课程教学电子教案（课件讲义）编译课程复习（许畅）

• 词法分析器的作用 • 词法单元的规约 (正则表达式) • 词法单元的识别 (状态转换图) • 词法分析器生成工具及设计 • 有穷自动机

• 使用上下文无关文法引导语言的翻译 – CFG的非终结符号代表了语言的某个构造 – 程序设计语言的构造由更小的构造组合而成 – 一个构造的语义可以由小构造的含义综合而来 • 比如：表达式x + y的类型由x、y的类型和运算符+决定 – 也可以从附近的构造继承而来 • 比如：声明int x中x的类型由它左边的类型表达式决定

• 运行时刻环境 – 为数据分配安排存储位置 – 确定访问变量时使用的机制 – 过程之间的连接、参数传递 – 和操作系统、输入输出设备相关的其它接口 • 主题 – 存储管理：栈分配、堆管理、垃圾回收 – 对变量、数据的访问