自动机理论、语言和计算导论（原书第2版）

图书标准信息

• 作者 John E.Hopcroft；Rajeev Motwani；Jeffrey D.Ullman
• 出版社 机械工业出版社
• 出版时间 2004-06
• 版次 1
• ISBN 9787111144526
• 定价 39.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 366页

【内容简介】

　　本书是关于形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书在定义和证明中使用了很多细节和直观说明，使用图来帮助阐明思想，并包含了大量的难度各异的示例和习题，以便读者确认和加深对内容的理解。　　本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。

【作者简介】

John E.Hopcroft，康奈尔大学计算机科学系教授，工程学院Joseph Silbert院长，康奈尔大学工程学院计算机科学主任。1986年图灵奖获得者。

【目录】

出版者的话

专家指导委员会

译者序

前言

第1章 自动机：方法与体验

 1.1 为什么研究自动机理论

 1.2 形式化证明简介

 1.3 其他的证明形式

 1.4 归纳证明

 1.5 自动机理论的中心概念

 1.6 小结 

 1.7 参考文献

第2章 有穷自动机

 2.1 有穷自动机的非形式化描述

 2.2 确定型有穷自动机

 2.3 非确定型有穷自动机

 2.4 应用：文本搜索

 2.5 带ε转移的有穷自动机

 2.6 小结

 2.7 参考文献

第3章 正则表达式与正则语言

第4章 正则语言的性质

第5章 上下文无关文法及上下文无关语言

第6章 下推自动机

第7章 上下文无关语言的性质

第8章 图灵机导引

第9章 不同判定性

第10章 难解问题

第11章 其他问题类

索引