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