自動機理論、語言和計算導論 在線電子書 圖書標籤: 自動機  計算機  計算機科學  計算理論  形式語言  編譯原理  計算機理論  邏輯   

喜歡 自動機理論、語言和計算導論 在線電子書 的讀者還喜歡

• 
  高級編譯器設計與實現 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  交互式計算機圖形學 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  算法分析導論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  編譯器構造C語言描述 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  編譯程序設計藝術 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  計算機係統：係統架構與操作係統的高度集成 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  現代編譯原理 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  邏輯與計算機設計基礎 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  編譯器設計 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  真實世界的Haskell 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

大四選修課教材，自動機、編譯原理基礎理論。

有窮自動機，下推自動機，圖靈機，可判定性問題，難解問題 循序漸進，非形式化與形式化並重

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

算法的數學形式化是圖靈機。證明的結構就是如果則，if then.事件對應狀態輸入。

學習automata可體驗計算機理論的美妙，也能在更高的層次上認識計算機程序的本質。stanford對畢業超過5年的學生做過調查，哪些課程對工作有直接幫助，結果錶明automata在選修課程中排名前列。

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

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

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

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

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