圖書標籤: 自動機  計算機  計算機科學  計算理論  形式語言  編譯原理  計算機理論  邏輯   

喜歡 自動機理論、語言和計算導論 的讀者還喜歡

• 
  高級編譯器設計與實現 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 電子書 下載

翻譯尼瑪太差勁瞭。。。= =但是書本身還是不錯的，雖然也是用來復習的感覺~

甚至不如機翻

對於模擬的幫助很大 對目前的研究有一些幫助 還有很多東西需要慢慢啃

正則語言/有限自動機＋上下文無關語言/下推自動機部分

形式語言課上學瞭此書前一半，剩下的部分以隻看正文與例子的方式勉強自學完。翻譯確實無比生澀，加之此書的描述非常地形式化，導緻很難看懂。(T_T)

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

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

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

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

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