John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
本書是關於形式語言、自動機理論和計算復雜性方麵的經典教材,是三位理論計算大師的巔峰之作,現已更新到第3版。書中涵蓋瞭有窮自動機、正則錶達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的,陸質、圖靈機、不可判定性以及難解問題等內容。
本書已被世界許多著名大學采用為計算機理論課程的教材或教學參考書,適閤用作國內高校計算機專業高年級本科生或研究生的教材,還可供從事理論計算工作的研究人員參考。
發表於2025-01-31
自動機理論、語言和計算導論(英文版.第3版) 2025 pdf epub mobi 電子書 下載
讀《Introduction to Automata Theory、Languages and Computation》(自動機理論、語言和計算導論)時候。遇到瞭一個問題。這個問題是這樣的。 書在講到P與NP時,首先要給“時間復雜性”下一個定義。那就是,對於一颱圖靈機,首先要求它不論接受與否總會停機(也就...
評分建議大傢還是直接讀原著吧,不要看翻譯的瞭。 今天看的時候,發現一句話很費解,特意對比瞭一下: 翻譯版本的41頁第二段:“重要的是注意,子集構造是這樣一個例子:說明如何……” 看瞭一下原文是這樣寫的(原書第二版61頁第一段):“It is important for us to observe th...
評分當初想找個DFA最小化算法,這本號稱自動機權威的書裏麵竟然隻字未提 Hopcroft DFA minimization 算法。 後來搜瞭若乾篇 Paper,好歹找到瞭該算法的介紹,但6篇相關的 Paper 中,算法的初始化部分竟然是錯的!Paper 的教授作者們大概沒幾個真正實現過該算法,6篇 Paper 中給齣的...
評分讀《Introduction to Automata Theory、Languages and Computation》(自動機理論、語言和計算導論)時候。遇到瞭一個問題。這個問題是這樣的。 書在講到P與NP時,首先要給“時間復雜性”下一個定義。那就是,對於一颱圖靈機,首先要求它不論接受與否總會停機(也就...
評分建議大傢還是直接讀原著吧,不要看翻譯的瞭。 今天看的時候,發現一句話很費解,特意對比瞭一下: 翻譯版本的41頁第二段:“重要的是注意,子集構造是這樣一個例子:說明如何……” 看瞭一下原文是這樣寫的(原書第二版61頁第一段):“It is important for us to observe th...
圖書標籤: 自動機 計算機 計算機科學 計算機理論 計算理論 數學 CS 計算復雜性
對於理解機器語言的人為設計邏輯很有幫助
評分原版,厚實詳細,非常便於概念理解
評分看不懂,還迴去
評分三位理論計算大師的巔峰之作,理解計算機科學理論的入門首選著作。入門不是你想入就入的,有些人注定隻能在門外徘徊。
評分一邊跟 Coursera 上的 automata 一邊看的。對形式語言不敏感,看書比聽課容易懂。
自動機理論、語言和計算導論(英文版.第3版) 2025 pdf epub mobi 電子書 下載