图书标签: 计算机科学  自动机  计算理论  计算机  数学  CS  计算机论  automata   

喜欢 Introduction to Automata Theory, Languages, and Computation 的读者还喜欢

• 
  A Mathematical Introduction to Logic pdf epub mobi txt 电子书 下载
• 
  Lambda-Calculus and Combinators pdf epub mobi txt 电子书 下载
• 
  Introduction to Graph Theory pdf epub mobi txt 电子书 下载
• 
  Logic in Computer Science pdf epub mobi txt 电子书 下载
• 
  Compilers pdf epub mobi txt 电子书 下载
• 
  Computer Organization and Design pdf epub mobi txt 电子书 下载
• 
  From Mathematics to Generic Programming pdf epub mobi txt 电子书 下载
• 
  Information Theory, Inference and Learning Algorithms pdf epub mobi txt 电子书 下载
• 
  Data Structures and Algorithms in Python pdf epub mobi txt 电子书 下载
• 
  Algorithms pdf epub mobi txt 电子书 下载

大二时John老爷爷亲自上的这门课，作为自动机理论的建立者之一介绍它的来龙去脉，亲身感受到智商被碾压的体验。 书本身是我大二时看得最舒服的一本英文书（受限于当时的英文水平），扎实且不失简洁，大师风范。

Too wordy...

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的进阶.-------- 终于看完了，其实耐下心来，一页页的翻过去，才能发现这本书的严谨，如同推公式一般的清冽。

大二时John老爷爷亲自上的这门课，作为自动机理论的建立者之一介绍它的来龙去脉，亲身感受到智商被碾压的体验。 书本身是我大二时看得最舒服的一本英文书（受限于当时的英文水平），扎实且不失简洁，大师风范。

书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS，是这么表述的： 给定一个无向图(n个顶点)和一个数k，问这个图存不存在k个顶点的独立集。 这个问题是P的。因为，对于题面中给定的k，从全部n个定点中选出k个顶点的子集...  

翻译，一如既往的烂，估计换了个译者名而已，和第二版没啥区别。 斯坦福系的大作，从自动机（有穷，下推）到图灵机，对照着编译原理，才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书，数据库等等的作者。  

内容不错啊，讲的挺详细，即使我这个非计算机专业的拿来看也能顺着看下去。当然，前提是你能忍受得了这翻译。有的地方也太“直译”了，有的地方读起来有当初看GRE长难句的感觉。慢慢看下去习惯了翻译也就觉得书还是不错的。  

翻译，一如既往的烂，估计换了个译者名而已，和第二版没啥区别。 斯坦福系的大作，从自动机（有穷，下推）到图灵机，对照着编译原理，才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书，数据库等等的作者。  

当初想找个DFA最小化算法，这本号称自动机权威的书里面竟然只字未提 Hopcroft DFA minimization 算法。 后来搜了若干篇 Paper，好歹找到了该算法的介绍，但6篇相关的 Paper 中，算法的初始化部分竟然是错的！Paper 的教授作者们大概没几个真正实现过该算法，6篇 Paper 中给出的...