出版時(shí)間:2004-1 出版社:清華大學(xué)出版社 作者:G·paun 頁(yè)數(shù):344 字?jǐn)?shù):437000
Tag標(biāo)簽:無(wú)
內(nèi)容概要
目前在大規(guī)模并行計(jì)算模式方面主要有兩種新模式:量子計(jì)算模式和生物計(jì)算模式。本書即是對(duì)生物計(jì)算模式(DNA計(jì)算模式)的詳盡介紹,內(nèi)容涉及粘貼系統(tǒng)、Watson-Crick自動(dòng)機(jī)、插入-刪除系統(tǒng)、剪接系統(tǒng)、有窮H系統(tǒng)的通用性,剪接循環(huán)串、分布式H系統(tǒng)等。本書內(nèi)容組織合理,介紹由淺入深,并給出了所需的語(yǔ)言學(xué)和生物學(xué)方面的基礎(chǔ)知識(shí)。 本書可作為生物信息學(xué)等專業(yè)的教材,也是一本該領(lǐng)域研究人員的極好的參考書。
書籍目錄
引言 DNA計(jì)算簡(jiǎn)介 第一部分 背景與動(dòng)機(jī) 第1章 DNA的結(jié)構(gòu)與處理 1.1 DNA的結(jié)構(gòu) 1.2 DNA分子的操作 1.3 讀出序列 1.4 文獻(xiàn)注記 第2章 分子計(jì)算起步 2.1 Adleman實(shí)驗(yàn) 2.2 我們能否解決可滿足性問題及破譯DES密碼 2.3 計(jì)算模式——一些再思考 2.4 DNA計(jì)算:希望與挑戰(zhàn) 第二部分 數(shù)學(xué)理論 第3章 形式語(yǔ)言理論介紹 3.1 基本記號(hào),方法,自動(dòng)機(jī),方法系統(tǒng) 3.2 遞歸可枚舉語(yǔ)言的刻畫 3.3 通用圖靈機(jī)用0型方法 3.4 文獻(xiàn)注記 第4章 粘貼系統(tǒng) 4.1 粘貼運(yùn)算 4.2 粘貼系統(tǒng)及其分類 4.3 粘貼系統(tǒng)的生成能力 4.4 正則語(yǔ)言和線性語(yǔ)言的表示 4.5 遞歸可枚舉語(yǔ)言的刻畫 4.6 正則粘貼系統(tǒng) 4.7 文獻(xiàn)注記 第5章 Watson-Crick自動(dòng)機(jī) 5.1 Watson-Crick有窮自動(dòng)機(jī) 5.2 WK簇之間的關(guān)系 5.3 遞歸可枚舉語(yǔ)言的刻畫 5.4 Watson-Crick有窮轉(zhuǎn)換器 5.5 Watson-Crick有窮自動(dòng)機(jī)的其他變形 …… 第6章 插入-刪除系統(tǒng) 第7章 剪接系統(tǒng) 第8章 有窮H系統(tǒng)的通用性 第9章 剪接循環(huán)串 第10章 分布式H系統(tǒng) 第11章 再述剪接 參考文獻(xiàn) 處理
圖書封面
圖書標(biāo)簽Tags
無(wú)
評(píng)論、評(píng)分、閱讀與下載