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

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

• 
  高级编译器设计与实现 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 电子书 下载

两分不是书的内容，是翻译。我买了这个译者挂名翻译的两本书，两本都是和机翻一样，语句完全不通，要去看英文原版才能弄明白说的是什么。译者你名头那么大，挂着你的名字，翻译能认真负责点吗？气死了，浪费了两本书的钱，以后这样的书，有英文版绝对买英文版。

有穷自动机，下推自动机，图灵机，可判定性问题，难解问题 循序渐进，非形式化与形式化并重

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

入门读物。。。

还需要再细细捉摸啊

建议大家还是直接读原著吧，不要看翻译的了。 今天看的时候，发现一句话很费解，特意对比了一下： 翻译版本的41页第二段：“重要的是注意，子集构造是这样一个例子：说明如何……” 看了一下原文是这样写的（原书第二版61页第一段）：“It is important for us to observe th...  

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

建议大家还是直接读原著吧，不要看翻译的了。 今天看的时候，发现一句话很费解，特意对比了一下： 翻译版本的41页第二段：“重要的是注意，子集构造是这样一个例子：说明如何……” 看了一下原文是这样写的（原书第二版61页第一段）：“It is important for us to observe th...  

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

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