John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
本書是關於形式語言、自動機理論和計算復雜性方麵的經典教材,是三位理論計算大師的巔峰之作,現已更新到第3版。書中涵蓋瞭有窮自動機、正則錶達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的,陸質、圖靈機、不可判定性以及難解問題等內容。
本書已被世界許多著名大學采用為計算機理論課程的教材或教學參考書,適閤用作國內高校計算機專業高年級本科生或研究生的教材,還可供從事理論計算工作的研究人員參考。
發表於2024-06-14
自動機理論、語言和計算導論(英文版.第3版) 2024 pdf epub mobi 電子書 下載
內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
評分翻譯,一如既往的爛,估計換瞭個譯者名而已,和第二版沒啥區彆。 斯坦福係的大作,從自動機(有窮,下推)到圖靈機,對照著編譯原理,纔能勉強猜齣大概思路。課後題是寶庫。國內教材估計也是仿照它寫的。這本書的作者還是龍書,數據庫等等的作者。
評分書中通過將 3SAT 問題多項式時間規約到獨立集問題。證明瞭獨立集問題是NP完全的。 但他的獨立集問題IS,是這麼錶述的: 給定一個無嚮圖(n個頂點)和一個數k,問這個圖存不存在k個頂點的獨立集。 這個問題是P的。因為,對於題麵中給定的k,從全部n個定點中選齣k個頂點的子集...
評分內容不錯啊,講的挺詳細,即使我這個非計算機專業的拿來看也能順著看下去。當然,前提是你能忍受得瞭這翻譯。有的地方也太“直譯”瞭,有的地方讀起來有當初看GRE長難句的感覺。慢慢看下去習慣瞭翻譯也就覺得書還是不錯的。
評分翻譯,一如既往的爛,估計換瞭個譯者名而已,和第二版沒啥區彆。 斯坦福係的大作,從自動機(有窮,下推)到圖靈機,對照著編譯原理,纔能勉強猜齣大概思路。課後題是寶庫。國內教材估計也是仿照它寫的。這本書的作者還是龍書,數據庫等等的作者。
圖書標籤: 自動機 計算機 計算機科學 計算機理論 計算理論 數學 CS 計算復雜性
還是很難啊!!!
評分入門讀物 沒有另一本有意思
評分一邊跟 Coursera 上的 automata 一邊看的。對形式語言不敏感,看書比聽課容易懂。
評分計算機的一種哲學:“吾魂兮無求永生,竭盡兮人事之所能。”
評分斷斷續續的讀瞭好久 終於通讀瞭一遍 作為一個textbook 本書十分friendly 但是有些內容 proof過於冗長繁瑣 缺乏美感
自動機理論、語言和計算導論(英文版.第3版) 2024 pdf epub mobi 電子書 下載