John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
發表於2024-11-23
Introduction to Automata Theory, Languages, and Computation (2nd Edition) 2024 pdf epub mobi 電子書 下載
當初想找個DFA最小化算法,這本號稱自動機權威的書裏麵竟然隻字未提 Hopcroft DFA minimization 算法。 後來搜瞭若乾篇 Paper,好歹找到瞭該算法的介紹,但6篇相關的 Paper 中,算法的初始化部分竟然是錯的!Paper 的教授作者們大概沒幾個真正實現過該算法,6篇 Paper 中給齣的...
評分書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
評分書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分讀《Introduction to Automata Theory、Languages and Computation》(自動機理論、語言和計算導論)時候。遇到瞭一個問題。這個問題是這樣的。 書在講到P與NP時,首先要給“時間復雜性”下一個定義。那就是,對於一颱圖靈機,首先要求它不論接受與否總會停機(也就...
圖書標籤: 計算機 計算理論 計算機科學 自動機 automata cs 計教 數理邏輯
這本書收藏很久瞭,雖然上課的時候已經講過一部分,但是海市想讀完這本書。
評分很不錯的自動機理論書 值得一看
評分很不錯的自動機理論書 值得一看
評分感謝把電子書弄上來的同學……
評分這本書收藏很久瞭,雖然上課的時候已經講過一部分,但是海市想讀完這本書。
Introduction to Automata Theory, Languages, and Computation (2nd Edition) 2024 pdf epub mobi 電子書 下載