John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
發表於2025-02-07
Introduction to Automata Theory, Langugages, and Computation 2025 pdf epub mobi 電子書 下載
當初想找個DFA最小化算法,這本號稱自動機權威的書裏麵竟然隻字未提 Hopcroft DFA minimization 算法。 後來搜瞭若乾篇 Paper,好歹找到瞭該算法的介紹,但6篇相關的 Paper 中,算法的初始化部分竟然是錯的!Paper 的教授作者們大概沒幾個真正實現過該算法,6篇 Paper 中給齣的...
評分當初想找個DFA最小化算法,這本號稱自動機權威的書裏麵竟然隻字未提 Hopcroft DFA minimization 算法。 後來搜瞭若乾篇 Paper,好歹找到瞭該算法的介紹,但6篇相關的 Paper 中,算法的初始化部分竟然是錯的!Paper 的教授作者們大概沒幾個真正實現過該算法,6篇 Paper 中給齣的...
評分書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分當初想找個DFA最小化算法,這本號稱自動機權威的書裏麵竟然隻字未提 Hopcroft DFA minimization 算法。 後來搜瞭若乾篇 Paper,好歹找到瞭該算法的介紹,但6篇相關的 Paper 中,算法的初始化部分竟然是錯的!Paper 的教授作者們大概沒幾個真正實現過該算法,6篇 Paper 中給齣的...
評分翻譯,一如既往的爛,估計換瞭個譯者名而已,和第二版沒啥區彆。 斯坦福係的大作,從自動機(有窮,下推)到圖靈機,對照著編譯原理,纔能勉強猜齣大概思路。課後題是寶庫。國內教材估計也是仿照它寫的。這本書的作者還是龍書,數據庫等等的作者。
圖書標籤: 計算機理論 computation Formal CS-Theory CS 教材
鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
評分鑒於這本書的曆史地位,還是推薦必讀。
Introduction to Automata Theory, Langugages, and Computation 2025 pdf epub mobi 電子書 下載