图书标签: 自动机  计算机  计算机科学  计算理论  形式语言  编译原理  计算机理论  逻辑   

喜欢 自动机理论、语言和计算导论 的读者还喜欢

• 
  高级编译器设计与实现 pdf epub mobi txt 电子书 下载
• 
  交互式计算机图形学 pdf epub mobi txt 电子书 下载
• 
  算法分析导论 pdf epub mobi txt 电子书 下载
• 
  编译器构造C语言描述 pdf epub mobi txt 电子书 下载
• 
  编译程序设计艺术 pdf epub mobi txt 电子书 下载
• 
  计算机系统：系统架构与操作系统的高度集成 pdf epub mobi txt 电子书 下载
• 
  现代编译原理 pdf epub mobi txt 电子书 下载
• 
  逻辑与计算机设计基础 pdf epub mobi txt 电子书 下载
• 
  编译器设计 pdf epub mobi txt 电子书 下载
• 
  真实世界的Haskell pdf epub mobi txt 电子书 下载

翻译非常差 严重怀疑是机翻 书是好书 翻译者该天杀

正则语言/有限自动机＋上下文无关语言/下推自动机部分

大家都在吐槽翻译 我却觉得读起来比csapp顺畅许多(苦笑)……让我觉得最美中不足的就是不够形式化(苦笑的平方)

还需要再细细捉摸啊

还需要再细细捉摸啊

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

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

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

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

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