最 低 价：￥33.80
| 本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。 本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合作为国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。 本书特点： 以简洁和易理解的方式讲述理论概念；强调理论的现代应用；使用大量的图来帮助表达概念；提供定义和证明的更多细节； 每章提供大量难易程度不同的练习。 |
| Hopcroft，J.E，地斯坦福大学获得博士学位，现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。 |
| 出版者的话 译者序 前言 第1章 自动机：方法与体验 1.1 为什么研究自动机理论 1.1.1 有穷自动机简介 1.1.2 结构表示法 1.1.3 自动机与复杂性 1.2 形式化证明简介 1.2.1 演绎证明 1.2.2 求助于定义 1.2.3 其他定理形式 1.2.4 表面上不是“如果-则”命题的定理 1.3 其他的证明形式 1.3.1 证明集合等价性 1.3.2 逆否命题 1.3.3 反证法 1.3.4 反例 1.4 归纳证明 1.4.1 整数上的归纳法 1.4.2 更一般形式的整数归纳法 1.4.3 结构归纳法 1.4.4 互归纳法 1.5 自动机理论的中心概念 1.5.1 字母表 1.5.2 串 1.5.3 语言 1.5.4 问题 1.6 小结 1.7 参考文献 第2章 有穷自动机 第3章 正则表达式与正则语言 第4章 正则语言的性质 第5章 上下文无关文法及上下文无关语言 第6章 下推自动机 第7章 上下文无关语言的性质 第8章 图灵机导引 第9章 不可判定性 第10章 难解问题 第11章 其他问题类 |
内容加载中，请稍后...
商品评论（0条）