作者:
John E·Hopcroft
/
Rajeev Motwani
/
Jeffrey D·Ullman
出版社: Addison Wesley
出版年: 2006-7-15
页数: 535
定价: USD 151.00
装帧: Hardcover
ISBN: 9780321462251
出版社: Addison Wesley
出版年: 2006-7-15
页数: 535
定价: USD 151.00
装帧: Hardcover
ISBN: 9780321462251
内容简介 · · · · · ·
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. Gradiance is the most advanced online assessment tool ...
作者简介 · · · · · ·
John E. Hopcroft，在斯坦福大学获得博士学位，现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。
喜欢读"Introduction to Automata Theory, Languages, and Computation"的人也喜欢 · · · · · ·
Introduction to Automata Theory, Languages, and Computation的书评 · · · · · · ( 全部 6 条 )
张觉非
机械工业出版社2008版
读这本书时遭遇了一个问题以及想出的答案
读《Introduction to Automata Theory、Languages and Computation》（自动机理论、语言和计算导论）时候。遇到了一个问题。这个问题是这样的。 书在讲到P与NP时，首先要给“时间复杂性”下一个定义。那就是，对于一台图灵机，首先要求它不论接受与否总会停机（也就...
(展开)
西瓜柚子还有肉
机械工业出版社2008版
内容不错，而翻译就...
内容不错啊，讲的挺详细，即使我这个非计算机专业的拿来看也能顺着看下去。当然，前提是你能忍受得了这翻译。有的地方也太“直译”了，有的地方读起来有当初看GRE长难句的感觉。慢慢看下去习惯了翻译也就觉得书还是不错的。
(展开)
> 更多书评 6篇
这本书的其他版本 · · · · · · ( 全部13 )
以下书单推荐 · · · · · · ( 全部 )
- 清华大学计算机系本科生教材 (bamboo256)
- 二十世纪伟大的数学书 (blue)
- MOOC教材列表 (老伐开心)
- What are you talking about? This is the REAL freakin' life (夢の點滴)
- 计算机优秀读物 (Luke)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有259人想读，手里有一本闲着?
订阅关于Introduction to Automata Theory, Languages, and Computation的评论:
feed: rss 2.0
0 有用 poringking 2017-03-07 06:19:49
不知道和Sipser相比何如？感觉比Sipser简单易懂一些？
0 有用 Crab 2019-06-20 19:20:38
John's book is too wordy!!! 五百多页啥都没讲，内容过于简单了。这学期孙老师让做了上面一万道习题……感觉这书习题质量也很低……95%都水得不行，侮辱智商的那种。不过也做到了两个比较难的题，一个是证明CFG不封闭的一个构造题，当时一下子没想出来。还有一个是10.4.4的g)，证明某个scheduling problem的NP completeness，把3SAT归约过去。证... John's book is too wordy!!! 五百多页啥都没讲，内容过于简单了。这学期孙老师让做了上面一万道习题……感觉这书习题质量也很低……95%都水得不行，侮辱智商的那种。不过也做到了两个比较难的题，一个是证明CFG不封闭的一个构造题，当时一下子没想出来。还有一个是10.4.4的g)，证明某个scheduling problem的NP completeness，把3SAT归约过去。证明有点鬼畜，看了paper才会做的。感觉John完全就是在面向非CS专业的人写的这本书啊……复杂性理论涉及得很浅，算法也不涉及，连自己的DFA最小化算法也没讲。 (展开)
0 有用 py君 2013-12-08 11:35:15
#程序员的自我修养# #计算理论# #自动机#
1 有用 Paul Chen 2019-06-08 06:21:35
少数几乎读完的教材之一... 说不上原因不过就是觉得很有趣。
2 有用 林二熱 2023-11-10 17:17:21 澳大利亚
这学期读过最喜欢的书。我上的逻辑课前半学期都在讲 proof，但我不理解有啥用。这书先花了一章讲了下常见的证明方法(deduction,induction,etc.)，说后面会用到。随后开时引入自动机。从 D/NFA 到 regular language，再到 PDA 和 ctx-free language，再到图灵机，环环相扣，引人入胜。其中还简要列举了常见的应用，比如 Unix grep, ... 这学期读过最喜欢的书。我上的逻辑课前半学期都在讲 proof，但我不理解有啥用。这书先花了一章讲了下常见的证明方法(deduction,induction,etc.)，说后面会用到。随后开时引入自动机。从 D/NFA 到 regular language，再到 PDA 和 ctx-free language，再到图灵机，环环相扣，引人入胜。其中还简要列举了常见的应用，比如 Unix grep, parser YACC，最后探讨 computability。这书会给日后学 parser 打下不错的理论基础。短评里有人说这书“不够数学，罗嗦”。前言里作者说了: 第三版就是不像第一版那样数学，因为读者群扩大了，如今的书也更倾向于厚一点，latex 技术让书的图文更丰富了。假期要再细读一遍。 (展开)