出版时间:2004-6-1 出版社:机械工业出版社 作者:John E.Hopcroft,Rajeev Motwani,Jeffrey D.Ullman 页数:366
Tag标签:无
内容概要
本书是关于形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书在定义和证明中使用了很多细节和直观说明,使用图来帮助阐明思想,并包含了大量的难度各异的示例和习题,以便读者确认和加深对内容的理解。
本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。
作者简介
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章 其他问题类索引
图书封面
图书标签Tags
无
评论、评分、阅读与下载