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 基本记号，方法，自动机，方法系统

引言 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 通用图灵机用0型方法 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有穷自动机的其他变形 …… 第6章 插入-删除系统 第7章 剪接系统 第8章 有穷H系统的通用性 第9章 剪接循环串 第10章 分布式H系统 第11章 再述剪接 参考文献 处理

目前在大规模并行计算模式方面主要有两种新模式：量子计算模式和生物计算模式。本书即是对生物计算模式（DNA计算模式）的详尽介绍，内容涉及粘贴系统、Watson-Crick自动机、插入-删除系统、剪接系统、有穷H系统的通用性，剪接循环串、分布式H系统等。本书内容组织合理，介绍由浅入深，并给出了所需的语言学和生物学方面的基础知识。 本书可作为生物信息学等专业的教材，也是一本该领域研究人员的极好的参考书。