John E.Hopcroft 于斯坦福大学获得博士学位,现为康奈尔大学计算机科学系教授。1994年到2001年,任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。
Rajeev Motwani 于加州大学伯克利分校获得博士学位,现为斯坦福大学计算机科学系教授。他的研究兴趣包括:数据库、数据挖掘,Web搜索和信息检索、机器人等。
Jeffrey D. Ullman 斯坦福大学计算机科学系 Stanford W. Ascherman 教授,数据库专家,美国国家工程院院士。他的研究兴趣包括:数据库理论、数据库集成、数据挖掘、理论计算等。
发表于2025-02-02
自动机理论、语言和计算导论 2025 pdf epub mobi 电子书
读《Introduction to Automata Theory、Languages and Computation》(自动机理论、语言和计算导论)时候。遇到了一个问题。这个问题是这样的。 书在讲到P与NP时,首先要给“时间复杂性”下一个定义。那就是,对于一台图灵机,首先要求它不论接受与否总会停机(也就...
评分建议大家还是直接读原著吧,不要看翻译的了。 今天看的时候,发现一句话很费解,特意对比了一下: 翻译版本的41页第二段:“重要的是注意,子集构造是这样一个例子:说明如何……” 看了一下原文是这样写的(原书第二版61页第一段):“It is important for us to observe th...
评分建议大家还是直接读原著吧,不要看翻译的了。 今天看的时候,发现一句话很费解,特意对比了一下: 翻译版本的41页第二段:“重要的是注意,子集构造是这样一个例子:说明如何……” 看了一下原文是这样写的(原书第二版61页第一段):“It is important for us to observe th...
评分当初想找个DFA最小化算法,这本号称自动机权威的书里面竟然只字未提 Hopcroft DFA minimization 算法。 后来搜了若干篇 Paper,好歹找到了该算法的介绍,但6篇相关的 Paper 中,算法的初始化部分竟然是错的!Paper 的教授作者们大概没几个真正实现过该算法,6篇 Paper 中给出的...
评分翻译,一如既往的烂,估计换了个译者名而已,和第二版没啥区别。 斯坦福系的大作,从自动机(有穷,下推)到图灵机,对照着编译原理,才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书,数据库等等的作者。
图书标签: 自动机 计算机 计算机科学 计算理论 形式语言 编译原理 计算机理论 逻辑
自动机理论、语言和计算导论(原书第3版),ISBN:9787111240358,作者:(美)霍普克罗夫特(Hopcroft,J.E) 等著;孙家骕 等译
学习automata可体验计算机理论的美妙,也能在更高的层次上认识计算机程序的本质。stanford对毕业超过5年的学生做过调查,哪些课程对工作有直接帮助,结果表明automata在选修课程中排名前列。
评分对于模拟的帮助很大 对目前的研究有一些帮助 还有很多东西需要慢慢啃
评分正则语言/有限自动机+上下文无关语言/下推自动机部分
评分翻译不好,即使我明白里面的知识都很难读下去。相比较更喜欢Sipser的《计算理论导引》
评分算法的数学形式化是图灵机。证明的结构就是如果则,if then.事件对应状态输入。
自动机理论、语言和计算导论 2025 pdf epub mobi 电子书