John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
發表於2025-01-01
Introduction to Automata Theory, Langugages, and Computation 2025 pdf epub mobi 電子書 下載
建議大傢還是直接讀原著吧,不要看翻譯的瞭。 今天看的時候,發現一句話很費解,特意對比瞭一下: 翻譯版本的41頁第二段:“重要的是注意,子集構造是這樣一個例子:說明如何……” 看瞭一下原文是這樣寫的(原書第二版61頁第一段):“It is important for us to observe th...
評分翻譯,一如既往的爛,估計換瞭個譯者名而已,和第二版沒啥區彆。 斯坦福係的大作,從自動機(有窮,下推)到圖靈機,對照著編譯原理,纔能勉強猜齣大概思路。課後題是寶庫。國內教材估計也是仿照它寫的。這本書的作者還是龍書,數據庫等等的作者。
評分書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
評分翻譯,一如既往的爛,估計換瞭個譯者名而已,和第二版沒啥區彆。 斯坦福係的大作,從自動機(有窮,下推)到圖靈機,對照著編譯原理,纔能勉強猜齣大概思路。課後題是寶庫。國內教材估計也是仿照它寫的。這本書的作者還是龍書,數據庫等等的作者。
圖書標籤: 計算機理論 computation Formal CS-Theory CS 教材
鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
Introduction to Automata Theory, Langugages, and Computation 2025 pdf epub mobi 電子書 下載