图书标签: 计算机  计算理论  计算机科学  自动机  automata  cs  计教  数理逻辑   

喜欢 Introduction to Automata Theory, Languages, and Computation (2nd Edition) 的读者还喜欢

• 
  The Design and Analysis of Computer Algorithms pdf epub mobi txt 电子书 下载
• 
  编译原理 技术与工具 pdf epub mobi txt 电子书 下载
• 
  Computer Architecture pdf epub mobi txt 电子书 下载
• 
  Compilers pdf epub mobi txt 电子书 下载
• 
  Gödel, Escher, Bach pdf epub mobi txt 电子书 下载
• 
  Learning GNU Emacs Third Edition pdf epub mobi txt 电子书 下载
• 
  Expert C Programming pdf epub mobi txt 电子书 下载
• 
  Advanced Programming in the UNIX(R) Environment (2nd Edition) pdf epub mobi txt 电子书 下载
• 
  Introduction to the Theory of Computation pdf epub mobi txt 电子书 下载
• 
  离散数学及其应用（原书第5版） pdf epub mobi txt 电子书 下载

很不错的自动机理论书 值得一看

感谢把电子书弄上来的同学……

感谢把电子书弄上来的同学……

这本书收藏很久了，虽然上课的时候已经讲过一部分，但是海市想读完这本书。

感谢把电子书弄上来的同学……

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

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

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

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

建议大家还是直接读原著吧，不要看翻译的了。 今天看的时候，发现一句话很费解，特意对比了一下： 翻译版本的41页第二段：“重要的是注意，子集构造是这样一个例子：说明如何……” 看了一下原文是这样写的（原书第二版61页第一段）：“It is important for us to observe th...