DNA 计算：一种新的计算模式

引言 DNA计算简介
第一部分 背景与动机
第1章 DNA的结构与处理
1.1 DNA的结构
1.2 DNA分子的操作
1.3 读出序列
1.4 文献注记
第2章 分子计算初步
2.1 Adleman实验
2.2 我们能否解决可满足性问题及破译DES密码
2.3 计算模式--一些再思考
2.4 DNA计算：希望与挑战
第二部分 数学理论
第3章 形式语言理论介绍
3.1 基本记号，文法，自动机，文法系统
3.2 递归可枚举语言的刻画
3.3 通用图灵机和O型文法
3.4 文献注记
第4章 粘贴系统
4.1 粘贴运算
4.2 粘贴系统及其分类
4.3 粘贴系统的生成能力
4.4 正则语言和线性语言的表示
4.5 递归可枚举语言的刻画
4.6 正则粘贴系统
4.7 文献注记
第5章 Watson-Crick自动机
5.1 Watson-Crick有穷自动机
5.2 WK簇之间的关系
5.3 递归可枚举语言的刻画
5.4 Watson-Crick有穷转换器
5.5 Watson-Crick有穷自动机的其他变形
5.6 带有Watson-Crick内存的Watson-Crick自动机
5.7 关于Watson-Crick自动机的通用性理论
5.8 文献注记
第6章 插入-删除系统
6.1 DNA结构中的插入-删除
6.2 递归可枚举语言的刻画
6.3 单字符插入-删除系统
6.4 只使用插入运算
6.5 文献注记
第7章 剪接系统
7.1 从DNA重组到剪接运算
7.2 作为语言运算的非迭代剪接
7.3 作为语言运算的迭代剪接
7.4 扩充H系统；生成能力
7.5 简单H系统
7.6 文献注记
第8章 有穷H系统的通用性
8.1 用2一剪接代替1一剪接
8.2 允许和禁止上下文
8.3 目标语言
8.4 程序化系统和进化系统
8.5 双剪接H系统
8.6 多重集合
8.7 通用性结果
8.8 文献注记
第9章 剪接循环串
9.1 循环串的剪接运算变量
9.2 一个变形变量及其能力
9.3 文献注记
第10章 分布式H系统
10.1 剪接文法系统
10.2 通信分布式H系统
10.3 双层分布式H系统
10.4 分时分布式H系统
10.5 计算完备性H系统的总结
10.6 文献注记
第11章 再述剪接
11.1 受限剪接：非重复情况
11.2 复制系统
11.3 文献注记
参考文献