自动机理论,语言和计算导论

霍普克罗夫特著书籍

本书由美国人霍普克罗夫特等著，孙家啸等译，机械工业出版社于2008年出版。本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是国际上得到广泛认可的计算机理论和计算机工程专业的优秀教材，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书适合作为高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。

基本信息

书名
自动机理论、语言和计算导论
作者
霍普克罗夫特
译者
孙家啸等
出版社
机械工业出版社

版权信息

书名: 自动机理论、语言和计算导论作　者：(美国)(JohnE.Hopcroft) 霍普克罗夫特(JeffreyD.Ullman)

翻译：孙家啸等

出版社：机械工业出版社

出版时间： 2008

ISBN: 9787111240358

开本： 16

定价: 49.00 元

编辑推荐

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。

本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合作为国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。

本书特点：以简洁和易理解的方式讲述理论概念；强调理论的现代应用；使用大量的图来帮助表达概念；提供定义和证明的更多细节；每章提供大量难易程度不同的练习。

内容简介

本书是关于形式语言、自动机理论和计算复杂性方面的经典之作，是国际上得到广泛认可的计算机理论和计算机工程专业的优秀教材。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书注重定义、定理的准确性和严格性，注重学生形式化和严格的数学推理能力的培养，同时在定义和证明中运用直观的方法说明抽象概念，借助许多图表帮助传达思想，并包含大量难度各异的示例和习题，便于读者加深对内容的理解。

本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。

作者简介