John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
本書是關於形式語言、自動機理論和計算復雜性方麵的經典教材,是三位理論計算大師的巔峰之作,現已更新到第3版。書中涵蓋瞭有窮自動機、正則錶達式與語言、正則語言的性質、上下文無關文法及上下文無關語言、下推自動機、上下文無關語言的,陸質、圖靈機、不可判定性以及難解問題等內容。
本書已被世界許多著名大學采用為計算機理論課程的教材或教學參考書,適閤用作國內高校計算機專業高年級本科生或研究生的教材,還可供從事理論計算工作的研究人員參考。
翻译,一如既往的烂,估计换了个译者名而已,和第二版没啥区别。 斯坦福系的大作,从自动机(有穷,下推)到图灵机,对照着编译原理,才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书,数据库等等的作者。
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
評分翻译,一如既往的烂,估计换了个译者名而已,和第二版没啥区别。 斯坦福系的大作,从自动机(有穷,下推)到图灵机,对照着编译原理,才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书,数据库等等的作者。
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
評分建议大家还是直接读原著吧,不要看翻译的了。 今天看的时候,发现一句话很费解,特意对比了一下: 翻译版本的41页第二段:“重要的是注意,子集构造是这样一个例子:说明如何……” 看了一下原文是这样写的(原书第二版61页第一段):“It is important for us to observe th...
為瞭東大...
评分原版,厚實詳細,非常便於概念理解
评分這本書的後三分之一部分證明非常復雜智商和精力有限無意再去理解...想學這個的動因是想要瞭解圖靈機到底是個什麼。真正完全掌握的可能是編譯原理前麵要求的一些自動機理論,所以說自動機是Compilers的前導也是有道理的。很多證明都有很高的精巧性,比如劉未鵬《暗時間》內提過的那個永恒的金色對角綫。
评分讀完瞭。最後幾章有些問題講的不是很清楚。總體來說是本很好的書。p.s.我還有作者簽名哦啦啦啦啦~~~
评分為瞭東大...
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有