自動機理論、語言和計算導論 pdf epub mobi txt 電子書 下載2025
John E.Hopcroft 於斯坦福大學獲得博士學位，現為康奈爾大學計算機科學係教授。1994年到2001年，任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵，尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位，現為斯坦福大學計算機科學係教授。他的研究興趣包括：數據庫、數據挖掘，Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授，數據庫專傢，美國國傢工程院院士。他的研究興趣包括：數據庫理論、數據庫集成、數據挖掘、理論計算等。
- 自動機
- 計算機
- 計算機科學
- 計算理論
- 形式語言
- 編譯原理
- 計算機理論
- 邏輯
自動機理論、語言和計算導論（原書第3版），ISBN：9787111240358，作者：（美）霍普剋羅夫特（Hopcroft，J.E） 等著；孫傢驌 等譯
具體描述
讀後感
书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS，是这么表述的： 给定一个无向图(n个顶点)和一个数k，问这个图存不存在k个顶点的独立集。 这个问题是P的。因为，对于题面中给定的k，从全部n个定点中选出k个顶点的子集...
評分读《Introduction to Automata Theory、Languages and Computation》（自动机理论、语言和计算导论）时候。遇到了一个问题。这个问题是这样的。 书在讲到P与NP时，首先要给“时间复杂性”下一个定义。那就是，对于一台图灵机，首先要求它不论接受与否总会停机（也就...
評分读《Introduction to Automata Theory、Languages and Computation》（自动机理论、语言和计算导论）时候。遇到了一个问题。这个问题是这样的。 书在讲到P与NP时，首先要给“时间复杂性”下一个定义。那就是，对于一台图灵机，首先要求它不论接受与否总会停机（也就...
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS，是这么表述的： 给定一个无向图(n个顶点)和一个数k，问这个图存不存在k个顶点的独立集。 这个问题是P的。因为，对于题面中给定的k，从全部n个定点中选出k个顶点的子集...
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS，是这么表述的： 给定一个无向图(n个顶点)和一个数k，问这个图存不存在k个顶点的独立集。 这个问题是P的。因为，对于题面中给定的k，从全部n个定点中选出k个顶点的子集...
用戶評價
翻譯不好，即使我明白裏麵的知識都很難讀下去。相比較更喜歡Sipser的《計算理論導引》
评分算法的數學形式化是圖靈機。證明的結構就是如果則，if then.事件對應狀態輸入。
评分翻譯不好，即使我明白裏麵的知識都很難讀下去。相比較更喜歡Sipser的《計算理論導引》
评分大傢都在吐槽翻譯 我卻覺得讀起來比csapp順暢許多(苦笑)……讓我覺得最美中不足的就是不夠形式化(苦笑的平方)
评分#這麼好的經典，就讓你們翻譯成瞭一坨屎
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有