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