本書是一本有關自動機理論、形式語言和計算復雜性的經典著作,主要供研究生教學使用,適閤作計算機科學相關專業高年級教學用書。
John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
读《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个顶点的子集...
評分当初想找个DFA最小化算法,这本号称自动机权威的书里面竟然只字未提 Hopcroft DFA minimization 算法。 后来搜了若干篇 Paper,好歹找到了该算法的介绍,但6篇相关的 Paper 中,算法的初始化部分竟然是错的!Paper 的教授作者们大概没几个真正实现过该算法,6篇 Paper 中给出的...
評分当初想找个DFA最小化算法,这本号称自动机权威的书里面竟然只字未提 Hopcroft DFA minimization 算法。 后来搜了若干篇 Paper,好歹找到了该算法的介绍,但6篇相关的 Paper 中,算法的初始化部分竟然是错的!Paper 的教授作者们大概没几个真正实现过该算法,6篇 Paper 中给出的...
最後兩章好像沒讀完
评分[昔時所讀]大三 形式語言與自動機 課程教材。
评分[昔時所讀]大三 形式語言與自動機 課程教材。
评分http://infolab.stanford.edu/~ullman/ialc/errata2.html 這一版的糾錯....錯誤還不少
评分最後兩章好像沒讀完
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有