书目

自动机理论、语言和计算导论(原书第3版·典藏版)

内容简介

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

作者简介

约翰·E.霍普克罗夫特(JohnE.Hopcroft)1986年图灵奖获得者、美国国家工程院院士、美国国家科学院院士、美国国家艺术与科学院院士、中国科学院外籍院士、美国康奈尔大学教授。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。他和JeffreyD.Ullman一起获得2010年IEEE颁发的约翰·冯诺依曼奖,以表彰其“为自动机和语言理论领域奠定基础,以及对理论计算机科学的许多开创性贡献”。拉杰夫·莫特瓦尼(RajeevMotwani)斯坦福大学计算机科学系教授。他的研究兴趣包括数据库、数据挖掘、Web搜索和信息检索、机器人等。他于2009年6月意外身亡,享年47岁。杰弗里·D.乌尔曼(JeffreyD.Ullman)2020年图灵奖获得者、美国国家工程院院士、斯坦福大学计算机科学系名誉教授。他的研究兴趣包括数据库理论、数据库集成、数据挖掘、理论计算等。他和JohnE.Hopcroft一起获得2010年IEEE颁发的约翰·冯诺依曼奖,以表彰其“为自动机和语言理论领域奠定基础,以及对理论计算机科学的许多开创性贡献”。

目录

—  END  —