圖書標籤: 計算機理論  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 中给出的...

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

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

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

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