自動機理論、語言和計算導論 在線電子書 圖書標籤: 自動機 計算機 計算機科學 計算理論 形式語言 編譯原理 計算機理論 邏輯
發表於2024-11-25
自動機理論、語言和計算導論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
有窮自動機,下推自動機,圖靈機,可判定性問題,難解問題 循序漸進,非形式化與形式化並重
評分算法的數學形式化是圖靈機。證明的結構就是如果則,if then.事件對應狀態輸入。
評分翻譯尼瑪太差勁瞭。。。= =但是書本身還是不錯的,雖然也是用來復習的感覺~
評分還需要再細細捉摸啊
評分算法的數學形式化是圖靈機。證明的結構就是如果則,if then.事件對應狀態輸入。
John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
自動機理論、語言和計算導論(原書第3版),ISBN:9787111240358,作者:(美)霍普剋羅夫特(Hopcroft,J.E) 等著;孫傢驌 等譯
建议大家还是直接读原著吧,不要看翻译的了。 今天看的时候,发现一句话很费解,特意对比了一下: 翻译版本的41页第二段:“重要的是注意,子集构造是这样一个例子:说明如何……” 看了一下原文是这样写的(原书第二版61页第一段):“It is important for us to observe th...
評分建议大家还是直接读原著吧,不要看翻译的了。 今天看的时候,发现一句话很费解,特意对比了一下: 翻译版本的41页第二段:“重要的是注意,子集构造是这样一个例子:说明如何……” 看了一下原文是这样写的(原书第二版61页第一段):“It is important for us to observe th...
評分翻译,一如既往的烂,估计换了个译者名而已,和第二版没啥区别。 斯坦福系的大作,从自动机(有穷,下推)到图灵机,对照着编译原理,才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书,数据库等等的作者。
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
評分建议大家还是直接读原著吧,不要看翻译的了。 今天看的时候,发现一句话很费解,特意对比了一下: 翻译版本的41页第二段:“重要的是注意,子集构造是这样一个例子:说明如何……” 看了一下原文是这样写的(原书第二版61页第一段):“It is important for us to observe th...
自動機理論、語言和計算導論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024