相关图书推荐
同类热销商品
您的浏览历史
自动机理论、语言和计算导论(原书第3版)
点击看大图 【评 价】
(共 5 条) 参与评论 |
| 【原 书 名】 Introduction to Automata Theory, Languages, and Computation (3rd Edition) |
| 【原出版社】 Addison Wesley |
| 【作 者】(美)John E. Hopcroft;Rajeev Motwani;Jeffrey D. Ullman [同作者作品] [作译者介绍] |
| 【译 者】 孙家骕[同译者作品] |
| 【丛 书 名】 计算机科学丛书 |
| 【出 版 社】 机械工业出版社 【书 号】 9787111240358 |
| 【出版日期】 2008 年7月 【开 本】 16开 【页 码】 366 【版 次】3-1 |
精彩评论
【内容简介】
本书是关于形式语言、自动机理论和计算复杂性方面的经典之作，是国际上得到广泛认可的计算机理论和计算机工程专业的优秀教材。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。 本书注重定义、定理的准确性和严格性，注重学生形式化和严格的数学推理能力的培养，同时在定义和证明中运用直观的方法说明抽象概念，借助许多图表帮助传达思想，并包含大量难度各异的示例和习题，便于读者加深对内容的理解。.本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。
本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。..
本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合作为国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。
本书特点：
以简洁和易理解的方式讲述理论概念。
强调理论的现代应用。
使用大量的图来帮助表达概念。
提供定义和证明的更多细节。
每章提供大量难易程度不同的练习。...
【作译者介绍】
作者: Jeffrey D. Ullman
1996年Sigmod贡献奖和1998年Karl V. Karstrom杰出教育家奖获得者。
Jeffrey D. Ullman是斯坦福大学的Stanford W. Ascherman计算机科学教授。他作为作者或合作者出版了15本著作，发表了170篇技术论文，其中包括《A First Course in Database Systems》（Prentice Hall 出版社，1997）和《Elements of ML Programming》（Prentice Hall 出版社，1998）。他的研究兴趣包括数据库理论、数据库集成、数据挖掘和利用信息基础设施进行教育。他获得了Guggenheim Fellowship等多种奖励，并被推选进入国家工程.. <<
查看详细
本书提供作译者介绍
John E. Hopcroft:于斯坦福大学获得博士学位，现为康奈尔大学计算机科学系教授。1994年到2001年，任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。.
Rajeev Motwani:于加州大学伯克利分校获得博士学位，现为斯坦福大学计算机科学系教授。他的研究兴趣包括数据库、数据挖掘、Web搜索和信息检索、机器人等。..
Jeffrey D. Ullman:斯坦福大学计算机科学系Stanford W. Ascherman教授，数据库技术专家，美国国家工程院院士.. << 查看详细
【目录信息】
出版者的话.
译者序
前言
第1章 自动机：方法与体验 1
1.1 为什么研究自动机理论 1
1.1.1 有穷自动机简介 1
1.1.2 结构表示法 3
1.1.3 自动机与复杂性 3
1.2 形式化证明简介 3
1.2.1 演绎证明 4
1.2.2 求助于定义 6
1.2.3 其他定理形式 7
1.2.4 表面上不是“如果-则”命题的定理 9
1.3 其他的证明形式 9
1.3.1 证明集合等价性 9
1.3.2 逆否命题 10
1.3.3 反证法 12
1.3.4 反例 12
<< 查看详细目录
【译者序】
理论计算机科学是推动计算机技术向前发展的强大动力。自动机、形式语言、可计算性和相关方面内容构成的计算理论，是理论计算机科学的基础内容之一。学习、研究这些内容，不仅为进一步学习、研究理论计算机科学所必需，而且对增强形式化能力和推理能力有重要作用，这些能力对从事计算机技术中的软件形式化等研究，是不可缺少的。.本书是由John E. Hopcroft、Rajeev Motwani和Jeffrey D. Ullman三位计算机学者合作编写的，是最著名的理论计算机科学著作之一，是世界各国广泛采用的计算机理论专业和计算计工程专业的优秀教材之一。它主要介绍形式语言、自动机、可计算性和相关方面内容。它特别注意定义、.. << 查看译者序
【前言】
在本书1979年出版的前一版的前言中，Hopcroft和Ullman对于下面的事实感到惊诧不已：与1969年他们写第一本书时的情形相比，自动机这一专题已经有了突破性地发展。的确，1979年版的书中包含许多在以前的著作中找不到的主题，篇幅增加了大约一倍。如果读者有兴趣把本书与1979年版的那本书做个比较就会发现，正如20世纪70年代的汽车那样，本书是“外看大，内看小”。这表面看起来像是退步，但是我们有理由对此变化感到高兴。.首先，在1979年，自动机和语言理论还是一个比较活跃的研究领域。那本书的主要目的是鼓励擅长数学的学生为这个领域做出新的贡献。然而今天，直接针对自动机理论的研究几乎已经销声匿迹.. << 查看前言
加载中...