自动机理论、语言和计算导论(英文版.第3版) 在线电子书 图书标签: 自动机  计算机  计算机科学  计算机理论  计算理论  数学  CS  计算复杂性   

喜欢 自动机理论、语言和计算导论(英文版.第3版) 在线电子书 的读者还喜欢

• 
  计算机图形学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  计算理论基础 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Probability and Computing 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数论概论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  形式语言与自动机导论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  程序设计语言 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  高级编译器设计与实现 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  计算理论导引 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  图论 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  离散数学及其应用（原书第5版） 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

一邊跟 Coursera 上的 automata 一邊看的。對形式語言不敏感，看書比聽課容易懂。

原版，厚实详细，非常便于概念理解

这本书的后三分之一部分证明非常复杂智商和精力有限无意再去理解...想学这个的动因是想要了解图灵机到底是个什么。真正完全掌握的可能是编译原理前面要求的一些自动机理论，所以说自动机是Compilers的前导也是有道理的。很多证明都有很高的精巧性，比如刘未鹏《暗时间》内提过的那个永恒的金色对角线。

这本书的后三分之一部分证明非常复杂智商和精力有限无意再去理解...想学这个的动因是想要了解图灵机到底是个什么。真正完全掌握的可能是编译原理前面要求的一些自动机理论，所以说自动机是Compilers的前导也是有道理的。很多证明都有很高的精巧性，比如刘未鹏《暗时间》内提过的那个永恒的金色对角线。

为了东大...

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

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

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

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

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