图书标签: 计算机  计算理论  计算机科学  自动机  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 theory必读，没想到第三版都出了。

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

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

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

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

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

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

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