图书标签: 计算机理论  computation  Formal  CS-Theory  CS  教材   

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

• 
  The Interpretation of Dreams pdf epub mobi txt 电子书 下载
• 
  Structure and Interpretation of Computer Programs - 2nd Edition (MIT) pdf epub mobi txt 电子书 下载
• 
  Pygmalion pdf epub mobi txt 电子书 下载
• 
  One Hundred Years of Solitude pdf epub mobi txt 电子书 下载
• 
  我是鸡汤 pdf epub mobi txt 电子书 下载
• 
  The Catcher in the Rye pdf epub mobi txt 电子书 下载
• 
  模式分类 pdf epub mobi txt 电子书 下载
• 
  深度探索C++对象模型 pdf epub mobi txt 电子书 下载
• 
  UNIX环境高级编程 pdf epub mobi txt 电子书 下载
• 
  The C++ Standard Library pdf epub mobi txt 电子书 下载

鉴于这本书的历史地位，还是推荐必读。

鉴于这本书的历史地位，还是推荐必读。

鉴于这本书的历史地位，还是推荐必读。

鉴于这本书的历史地位，还是推荐必读。

鉴于这本书的历史地位，还是推荐必读。

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

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

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

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

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