圖書標籤: 計算機科學  自動機  計算理論  計算機  數學  CS  計算機論  automata   

喜歡 Introduction to Automata Theory, Languages, and Computation 的讀者還喜歡

• 
  A Mathematical Introduction to Logic pdf epub mobi txt 電子書 下載
• 
  Lambda-Calculus and Combinators pdf epub mobi txt 電子書 下載
• 
  Introduction to Graph Theory pdf epub mobi txt 電子書 下載
• 
  Logic in Computer Science pdf epub mobi txt 電子書 下載
• 
  Compilers pdf epub mobi txt 電子書 下載
• 
  Computer Organization and Design pdf epub mobi txt 電子書 下載
• 
  From Mathematics to Generic Programming pdf epub mobi txt 電子書 下載
• 
  Information Theory, Inference and Learning Algorithms pdf epub mobi txt 電子書 下載
• 
  Data Structures and Algorithms in Python pdf epub mobi txt 電子書 下載
• 
  Algorithms pdf epub mobi txt 電子書 下載

John's book is too wordy!!! 五百多頁啥都沒講，內容過於簡單瞭。這學期孫老師讓做瞭上麵一萬道習題……感覺這書習題質量也很低……95%都水得不行，侮辱智商的那種。不過也做到瞭兩個比較難的題，一個是證明CFG不封閉的一個構造題，當時一下子沒想齣來。還有一個是10.4.4的g)，證明某個scheduling problem的NP completeness，把3SAT歸約過去。證明有點鬼畜，看瞭paper纔會做的。感覺John完全就是在麵嚮非CS專業的人寫的這本書啊……復雜性理論涉及得很淺，算法也不涉及，連自己的DFA最小化算法也沒講。如果是CS專業還是去看Sipser吧，質量差瞭不是一點點。

John's book is too wordy!!! 五百多頁啥都沒講，內容過於簡單瞭。這學期孫老師讓做瞭上麵一萬道習題……感覺這書習題質量也很低……95%都水得不行，侮辱智商的那種。不過也做到瞭兩個比較難的題，一個是證明CFG不封閉的一個構造題，當時一下子沒想齣來。還有一個是10.4.4的g)，證明某個scheduling problem的NP completeness，把3SAT歸約過去。證明有點鬼畜，看瞭paper纔會做的。感覺John完全就是在麵嚮非CS專業的人寫的這本書啊……復雜性理論涉及得很淺，算法也不涉及，連自己的DFA最小化算法也沒講。如果是CS專業還是去看Sipser吧，質量差瞭不是一點點。

#程序員的自我修養# #計算理論# #自動機

John's book is too wordy!!! 五百多頁啥都沒講，內容過於簡單瞭。這學期孫老師讓做瞭上麵一萬道習題……感覺這書習題質量也很低……95%都水得不行，侮辱智商的那種。不過也做到瞭兩個比較難的題，一個是證明CFG不封閉的一個構造題，當時一下子沒想齣來。還有一個是10.4.4的g)，證明某個scheduling problem的NP completeness，把3SAT歸約過去。證明有點鬼畜，看瞭paper纔會做的。感覺John完全就是在麵嚮非CS專業的人寫的這本書啊……復雜性理論涉及得很淺，算法也不涉及，連自己的DFA最小化算法也沒講。如果是CS專業還是去看Sipser吧，質量差瞭不是一點點。

大二時John老爺爺親自上的這門課，作為自動機理論的建立者之一介紹它的來龍去脈，親身感受到智商被碾壓的體驗。 書本身是我大二時看得最舒服的一本英文書（受限於當時的英文水平），紮實且不失簡潔，大師風範。

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

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

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

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

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