Introduction to Automata Theory, Languages, and Computation pdf epub mobi txt 電子書 下載2025
John E.Hopcroft 於斯坦福大學獲得博士學位，現為康奈爾大學計算機科學係教授。1994年到2001年，任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵，尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位，現為斯坦福大學計算機科學係教授。他的研究興趣包括：數據庫、數據挖掘，Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授，數據庫專傢，美國國傢工程院院士。他的研究興趣包括：數據庫理論、數據庫集成、數據挖掘、理論計算等。
- 計算機科學
- 自動機
- 計算理論
- 計算機
- 數學
- CS
- 計算機論
- automata
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. Gradiance is the most advanced online assessment tool developed for the computer science discipline. With its innovative underlying technology, Gradiance turns basic homework assignments and programming labs into an interactive learning experience for students. By using a series of "root questions" and hints, it not only tests a student's capability, but actually simulates a one-on-one teacher-student tutorial that allows for the student to more easily learn the material. Through the programming labs, instructors are capable of testing, tracking, and honing their students' skills, both in terms of syntax and semantics, with an unprecedented level of assessment never before offered. For more information about Gradiance, please visit www.aw.com/gradiance.
具體描述
讀後感
书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS，是这么表述的： 给定一个无向图(n个顶点)和一个数k，问这个图存不存在k个顶点的独立集。 这个问题是P的。因为，对于题面中给定的k，从全部n个定点中选出k个顶点的子集...
評分建议大家还是直接读原著吧，不要看翻译的了。 今天看的时候，发现一句话很费解，特意对比了一下： 翻译版本的41页第二段：“重要的是注意，子集构造是这样一个例子：说明如何……” 看了一下原文是这样写的（原书第二版61页第一段）：“It is important for us to observe th...
評分内容不错啊，讲的挺详细，即使我这个非计算机专业的拿来看也能顺着看下去。当然，前提是你能忍受得了这翻译。有的地方也太“直译”了，有的地方读起来有当初看GRE长难句的感觉。慢慢看下去习惯了翻译也就觉得书还是不错的。
評分翻译，一如既往的烂，估计换了个译者名而已，和第二版没啥区别。 斯坦福系的大作，从自动机（有穷，下推）到图灵机，对照着编译原理，才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书，数据库等等的作者。
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS，是这么表述的： 给定一个无向图(n个顶点)和一个数k，问这个图存不存在k个顶点的独立集。 这个问题是P的。因为，对于题面中给定的k，从全部n个定点中选出k个顶点的子集...
用戶評價
#少數幾乎讀完的教材之一... 說不上原因不過就是覺得很有趣。
评分John's book is too wordy!!! 五百多頁啥都沒講，內容過於簡單瞭。這學期孫老師讓做瞭上麵一萬道習題……感覺這書習題質量也很低……95%都水得不行，侮辱智商的那種。不過也做到瞭兩個比較難的題，一個是證明CFG不封閉的一個構造題，當時一下子沒想齣來。還有一個是10.4.4的g)，證明某個scheduling problem的NP completeness，把3SAT歸約過去。證明有點鬼畜，看瞭paper纔會做的。感覺John完全就是在麵嚮非CS專業的人寫的這本書啊……復雜性理論涉及得很淺，算法也不涉及，連自己的DFA最小化算法也沒講。如果是CS專業還是去看Sipser吧，質量差瞭不是一點點。
评分非常嚴謹的一本書，把各種representation的轉換關係交代地很透徹，但對概念的介紹不夠爽快。可作為peter linz的進階.-------- 終於看完瞭，其實耐下心來，一頁頁的翻過去，纔能發現這本書的嚴謹，如同推公式一般的清冽。
评分CSCI3130
评分CSCI3130
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有