John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
本書是一本有關自動機理論、形式語言和計算復雜性的經典著作,主要供研究生教學使用,適閤作計算機科學相關專業高年級教學用書。
發表於2025-02-02
自動機理論語言和計算導論(第2版影印版) 2025 pdf epub mobi 電子書 下載
書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
評分內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
評分建議大傢還是直接讀原著吧,不要看翻譯的瞭。 今天看的時候,發現一句話很費解,特意對比瞭一下: 翻譯版本的41頁第二段:“重要的是注意,子集構造是這樣一個例子:說明如何……” 看瞭一下原文是這樣寫的(原書第二版61頁第一段):“It is important for us to observe th...
評分內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
圖書標籤: 自動機 計算機 計算理論 自動機理論、語言和計算導論 算法 數學 教材 人工智能
最後兩章好像沒讀完
評分http://infolab.stanford.edu/~ullman/ialc/errata2.html 這一版的糾錯....錯誤還不少
評分[昔時所讀]大三 形式語言與自動機 課程教材。
評分[昔時所讀]大三 形式語言與自動機 課程教材。
評分http://infolab.stanford.edu/~ullman/ialc/errata2.html 這一版的糾錯....錯誤還不少
自動機理論語言和計算導論(第2版影印版) 2025 pdf epub mobi 電子書 下載