John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
發表於2025-02-27
Introduction to Automata Theory, Languages, and Computation (2nd Edition) 2025 pdf epub mobi 電子書 下載
讀《Introduction to Automata Theory、Languages and Computation》(自動機理論、語言和計算導論)時候。遇到瞭一個問題。這個問題是這樣的。 書在講到P與NP時,首先要給“時間復雜性”下一個定義。那就是,對於一颱圖靈機,首先要求它不論接受與否總會停機(也就...
評分讀《Introduction to Automata Theory、Languages and Computation》(自動機理論、語言和計算導論)時候。遇到瞭一個問題。這個問題是這樣的。 書在講到P與NP時,首先要給“時間復雜性”下一個定義。那就是,對於一颱圖靈機,首先要求它不論接受與否總會停機(也就...
評分內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
評分書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分翻譯,一如既往的爛,估計換瞭個譯者名而已,和第二版沒啥區彆。 斯坦福係的大作,從自動機(有窮,下推)到圖靈機,對照著編譯原理,纔能勉強猜齣大概思路。課後題是寶庫。國內教材估計也是仿照它寫的。這本書的作者還是龍書,數據庫等等的作者。
圖書標籤: 計算機 計算理論 計算機科學 自動機 automata cs 計教 數理邏輯
感謝把電子書弄上來的同學……
評分這本書收藏很久瞭,雖然上課的時候已經講過一部分,但是海市想讀完這本書。
評分很不錯的自動機理論書 值得一看
評分CS theory必讀,沒想到第三版都齣瞭。
評分CS theory必讀,沒想到第三版都齣瞭。
Introduction to Automata Theory, Languages, and Computation (2nd Edition) 2025 pdf epub mobi 電子書 下載