圖書標籤: 計算機  計算理論  計算機科學  自動機  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 電子書 下載

CS theory必讀，沒想到第三版都齣瞭。

第二版比第一版更加偏重實際,敘述也更加平易近人，CS的同學讀瞭會有一種親切的感覺。

第二版比第一版更加偏重實際,敘述也更加平易近人，CS的同學讀瞭會有一種親切的感覺。

第二版比第一版更加偏重實際,敘述也更加平易近人，CS的同學讀瞭會有一種親切的感覺。

第二版比第一版更加偏重實際,敘述也更加平易近人，CS的同學讀瞭會有一種親切的感覺。

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

当初想找个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个顶点的子集...  

读《Introduction to Automata Theory、Languages and Computation》（自动机理论、语言和计算导论）时候。遇到了一个问题。这个问题是这样的。 书在讲到P与NP时，首先要给“时间复杂性”下一个定义。那就是，对于一台图灵机，首先要求它不论接受与否总会停机（也就...