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

作者: John E.Hopcroft , Rajeev Motwani , Jeffrey D.Ullman

出版社: 机械工业出版社

出版时间: 2004-06

版次: 1

ISBN: 9787111144526

定价: 39.00

装帧: 平装

开本: 其他

纸张: 胶版纸

页数: 366页

分类: 教材教辅考试>教材>大学教材>工程技术

75人买过

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

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

索引