自動機理論、語言和計算導論 在線電子書 圖書標籤: 自動機 計算機 計算機科學 計算理論 形式語言 編譯原理 計算機理論 邏輯
發表於2024-12-26
自動機理論、語言和計算導論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
正則語言/有限自動機+上下文無關語言/下推自動機部分
評分翻譯不好,即使我明白裏麵的知識都很難讀下去。相比較更喜歡Sipser的《計算理論導引》
評分太羅嗦,找不到重點
評分算法的數學形式化是圖靈機。證明的結構就是如果則,if then.事件對應狀態輸入。
評分對於模擬的幫助很大 對目前的研究有一些幫助 還有很多東西需要慢慢啃
John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
自動機理論、語言和計算導論(原書第3版),ISBN:9787111240358,作者:(美)霍普剋羅夫特(Hopcroft,J.E) 等著;孫傢驌 等譯
读《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个顶点的子集...
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
評分内容不错啊,讲的挺详细,即使我这个非计算机专业的拿来看也能顺着看下去。当然,前提是你能忍受得了这翻译。有的地方也太“直译”了,有的地方读起来有当初看GRE长难句的感觉。慢慢看下去习惯了翻译也就觉得书还是不错的。
自動機理論、語言和計算導論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024