John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition comes with Gradiance, an online assessment tool developed for computer science. Please note, Gradiance is no longer available with this book, as we no longer support this product.
發表於2025-02-26
Introduction to Automata Theory, Languages, and Computation 2025 pdf epub mobi 電子書 下載
讀《Introduction to Automata Theory、Languages and Computation》(自動機理論、語言和計算導論)時候。遇到瞭一個問題。這個問題是這樣的。 書在講到P與NP時,首先要給“時間復雜性”下一個定義。那就是,對於一颱圖靈機,首先要求它不論接受與否總會停機(也就...
評分建議大傢還是直接讀原著吧,不要看翻譯的瞭。 今天看的時候,發現一句話很費解,特意對比瞭一下: 翻譯版本的41頁第二段:“重要的是注意,子集構造是這樣一個例子:說明如何……” 看瞭一下原文是這樣寫的(原書第二版61頁第一段):“It is important for us to observe th...
評分書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分當初想找個DFA最小化算法,這本號稱自動機權威的書裏麵竟然隻字未提 Hopcroft DFA minimization 算法。 後來搜瞭若乾篇 Paper,好歹找到瞭該算法的介紹,但6篇相關的 Paper 中,算法的初始化部分竟然是錯的!Paper 的教授作者們大概沒幾個真正實現過該算法,6篇 Paper 中給齣的...
評分讀《Introduction to Automata Theory、Languages and Computation》(自動機理論、語言和計算導論)時候。遇到瞭一個問題。這個問題是這樣的。 書在講到P與NP時,首先要給“時間復雜性”下一個定義。那就是,對於一颱圖靈機,首先要求它不論接受與否總會停機(也就...
圖書標籤: 計算理論 自動機理論與應用 自動機 啊啊 Logic&Computability Languages (Formal
讀起來真痛苦
評分讀起來真痛苦
評分讀起來真痛苦
評分讀起來真痛苦
評分讀起來真痛苦
Introduction to Automata Theory, Languages, and Computation 2025 pdf epub mobi 電子書 下載