圖書標籤: #FDP #
发表于2024-12-27
Introduction to Automata Theory, Languages and Computation pdf epub mobi txt 電子書 下載 2024
This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition comes with Gradiance, an online assessment tool developed for computer science. Please note, Gradiance is no longer available with this book, as we no longer support this product.
MyLab或是Mastering係列是在綫作業係統。Access Code Card是在綫作業係統的訪問碼,是老師和學生課堂之外網絡互動及交流的平颱,個人是無法使用這個平颱的。請讀者注意您購買的這個ISBN是不帶Access Code Card的。
John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
书中通过将 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 中给出的...
Introduction to Automata Theory, Languages and Computation pdf epub mobi txt 電子書 下載 2024