DNA 計算：一種新的計算模式

定　價：￥39.00

作　者：	（德）珀溫（Paun,G.），（德）羅森貝格（Rozenberg,G.），（德）薩洛馬（Salomaa,A.）著，許進，王淑棟，潘林強譯
出版社：	清華大學出版社
叢編項：
標　簽：	計算理論

購買這本書可以去

當當網(wǎng) (￥31.20)

ISBN：	9787302086581	出版時間：	2004-09-01	包裝：	膠版紙
開本：	小16開	頁數(shù)：	344	字數(shù)：

內(nèi)容簡介

　　目前在大規(guī)模并行計算模式方面主要有兩種新模式：量子計算模式和生物計算模式．本書即是對生物計算模式（DNA計算模式）的詳盡介紹，內(nèi)容涉及粘貼系統(tǒng)、Watson-Crick自動機、插入-刪除系統(tǒng)、剪接系統(tǒng)、有窮H系統(tǒng)的通用性、剪接循環(huán)串、分布式H系統(tǒng)等．本書內(nèi)容組織合理，介紹由淺入深，并給出了所需的語言學和生物學方面的基礎(chǔ)知識．本書可作為生物信息學等專業(yè)的教材，也是一本該領(lǐng)域研究人員的極好的參考書．本書英語版于1998年出版，版權(quán)為施普林格出版公司所有．本書中文簡體版由施普林格出版公司授權(quán)，清華大學出版社獨家出版．未經(jīng)出版者書面允許，不得以任何方式復制或抄襲本書內(nèi)容．

作者簡介

暫缺《DNA 計算：一種新的計算模式》作者簡介

圖書目錄

引言 DNA計算簡介
第一部分背景與動機
第1章 DNA的結(jié)構(gòu)與處理
1.1 DNA的結(jié)構(gòu)
1.2 DNA分子的操作
1.3 讀出序列
1.4 文獻注記
第2章分子計算初步
2.1 Adleman實驗
2.2 我們能否解決可滿足性問題及破譯DES密碼
2.3 計算模式--一些再思考
2.4 DNA計算：希望與挑戰(zhàn)
第二部分數(shù)學理論
第3章形式語言理論介紹
3.1 基本記號，文法，自動機，文法系統(tǒng)
3.2 遞歸可枚舉語言的刻畫
3.3 通用圖靈機和O型文法
3.4 文獻注記
第4章粘貼系統(tǒng)
4.1 粘貼運算
4.2 粘貼系統(tǒng)及其分類
4.3 粘貼系統(tǒng)的生成能力
4.4 正則語言和線性語言的表示
4.5 遞歸可枚舉語言的刻畫
4.6 正則粘貼系統(tǒng)
4.7 文獻注記
第5章 Watson-Crick自動機
5.1 Watson-Crick有窮自動機
5.2 WK簇之間的關(guān)系
5.3 遞歸可枚舉語言的刻畫
5.4 Watson-Crick有窮轉(zhuǎn)換器
5.5 Watson-Crick有窮自動機的其他變形
5.6 帶有Watson-Crick內(nèi)存的Watson-Crick自動機
5.7 關(guān)于Watson-Crick自動機的通用性理論
5.8 文獻注記
第6章插入-刪除系統(tǒng)
6.1 DNA結(jié)構(gòu)中的插入-刪除
6.2 遞歸可枚舉語言的刻畫
6.3 單字符插入-刪除系統(tǒng)
6.4 只使用插入運算
6.5 文獻注記
第7章剪接系統(tǒng)
7.1 從DNA重組到剪接運算
7.2 作為語言運算的非迭代剪接
7.3 作為語言運算的迭代剪接
7.4 擴充H系統(tǒng)；生成能力
7.5 簡單H系統(tǒng)
7.6 文獻注記
第8章有窮H系統(tǒng)的通用性
8.1 用2一剪接代替1一剪接
8.2 允許和禁止上下文
8.3 目標語言
8.4 程序化系統(tǒng)和進化系統(tǒng)
8.5 雙剪接H系統(tǒng)
8.6 多重集合
8.7 通用性結(jié)果
8.8 文獻注記
第9章剪接循環(huán)串
9.1 循環(huán)串的剪接運算變量
9.2 一個變形變量及其能力
9.3 文獻注記
第10章分布式H系統(tǒng)
10.1 剪接文法系統(tǒng)
10.2 通信分布式H系統(tǒng)
10.3 雙層分布式H系統(tǒng)
10.4 分時分布式H系統(tǒng)
10.5 計算完備性H系統(tǒng)的總結(jié)
10.6 文獻注記
第11章再述剪接
11.1 受限剪接：非重復情況
11.2 復制系統(tǒng)
11.3 文獻注記
參考文獻