自動(dòng)機(jī)理論與應(yīng)用

內(nèi)容概要

　　《自動(dòng)機(jī)理論與應(yīng)用》闡述了計(jì)算科學(xué)的優(yōu)美理論基礎(chǔ)，通過演示計(jì)算理論在現(xiàn)代硬件和軟件系統(tǒng)設(shè)計(jì)中的影響，把理論知識帶到了現(xiàn)實(shí)實(shí)踐之中。本書介紹了關(guān)鍵概念的應(yīng)用，為讀者在實(shí)際工作中使用計(jì)算理論提供實(shí)際指導(dǎo)。本書討論的應(yīng)用包括：程序設(shè)計(jì)語言、編譯器、網(wǎng)絡(luò)技術(shù)、自然語言處理、人工智能、計(jì)算生物學(xué)、安全性、博弈論、商業(yè)規(guī)則建模、標(biāo)識語言、Web搜索等。本書既適合作為自動(dòng)機(jī)理論課程的教程，也是相關(guān)專業(yè)人員的重要參考用書。
　　

作者簡介

作者：(美國)里奇 (Elaine Rich) 譯者：米哲偉 武桂香 等

書籍目錄

第1部分簡 介
　第1章 為什么學(xué)習(xí)計(jì)算理論
　第2章 語言與字符串
　第3章 語言層次
　第4章 計(jì)算
第2部分 有限狀態(tài)機(jī)與正則語言
　第5章 有限狀態(tài)機(jī)
　第6章 正則表達(dá)式
　第7章 正則文法
　第8章 正則與非正則語言
　第9章 正則語言的算法與決策過程
　第10章 小結(jié)與參考資料
第3部分 上下文無關(guān)語言與壓棧自動(dòng)機(jī)
　第11章 上下文無關(guān)文法
　第12章 壓棧自動(dòng)機(jī)
　第13章 上下文無關(guān)與非上下文無關(guān)語言
　第14章 上下文無關(guān)語言的算法與決策過程
　第15章 上下文無關(guān)解析
　第16章 小結(jié)與參考資料
第4部分 圖靈機(jī)與不可確定性
　第17章 圖靈機(jī)
　第18章 church-turing命題
　第19章 停止問題的不可解決性
　第20章 可確定與半確定語言
　第21章 可確定性與不可確定性證明
　第22章 不明顯提圖靈機(jī)問題的語言的可確定性
　第23章 無限制文法
　第24章 chomsky層次及其他
　第25章 可計(jì)算函數(shù)
　第26章 小結(jié)與參考資料
第5部分 復(fù) 雜度
　第27章 復(fù)雜度分析簡介
　第28章 時(shí)間復(fù)雜度類
　第29章 空間復(fù)雜度類
　第30章 難題的實(shí)用解
　第31章 小結(jié)與參考資料
參考資料

章節(jié)摘錄

版權(quán)頁：插圖：可以把第4部分的工作看成探索計(jì)算的極限。我們考慮了許多不同的可計(jì)算模型，這些模型試圖回答這樣的問題，“能計(jì)算什么？”其中有些模型很相似。例如，Post生產(chǎn)系統(tǒng)和無限制文法都是通過開始符和一組改寫字符串的生產(chǎn)規(guī)則來定義語言。盡管有差別（Post生產(chǎn)系統(tǒng)利用變量，要匹配整個(gè)字符串，而無限文法只用常量，可以匹配子串），但兩個(gè)形式是一致的：都定義SD語言類。同樣，圖靈機(jī)和標(biāo)記系統(tǒng)也差不多，一個(gè)用磁帶和可移動(dòng)的讀／寫頭，一個(gè)用先進(jìn)先出隊(duì)列。但它們的差別也不大，兩都可以相互模擬。

編輯推薦

《世界著名計(jì)算機(jī)教材精選:自動(dòng)機(jī)理論與應(yīng)用》由清華大學(xué)出版社出版。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    自動(dòng)機(jī)理論與應(yīng)用 PDF格式下載

---