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

自动机理论、语言和计算导论(原书第2版)
8.4
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
出版社: 机械工业出版社
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章 其他问题类

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

    索引
查看详情
好书推荐 / 更多
自动机理论、语言和计算导论(原书第2版)
20世纪思想史:从弗洛伊德到互联网
[英]彼得·沃森 著;杨阳 译;张凤
自动机理论、语言和计算导论(原书第2版)
想象一朵未来的玫瑰
[葡]费尔南多·佩索阿 著;杨铁军 译
自动机理论、语言和计算导论(原书第2版)
语言与死亡/当代激进思想家译丛
[意]吉奥乔·阿甘本 著
自动机理论、语言和计算导论(原书第2版)
爸爸妈妈,请做我的摄影师:十万父母拍娃智慧分享儿童摄影
枫糖盒子 著
自动机理论、语言和计算导论(原书第2版)
陈规再造:巫鸿美术史文集卷三
[美]巫鸿 著;郑岩 编
自动机理论、语言和计算导论(原书第2版)
另一个世界:中国记忆1961-1962
[瑞典]林西莉 著;李之义 译
自动机理论、语言和计算导论(原书第2版)
生活,在别处:海明威影像集
鲍里斯·维多夫斯基 著;吴天楚 译;[美国]玛瑞儿·海明威;高方;王天宇
自动机理论、语言和计算导论(原书第2版)
大西洋的故事
[英]西蒙·温彻斯特(Simon Winchester) 著
自动机理论、语言和计算导论(原书第2版)
图说勃鲁盖尔
[日]冈部纮三 著;曹逸冰 译
自动机理论、语言和计算导论(原书第2版)
巴别塔(我要世界都听见我的声音,我曾被压抑,但绝不沉默。)(读客外国小说文库)
[英]A.S.拜厄特 著;王一鸣 译
自动机理论、语言和计算导论(原书第2版)
四十二年,我的"恶邻"李敖大师
林恒范 著;[中国台湾]林丽蘋 口述
自动机理论、语言和计算导论(原书第2版)
灭绝与演化:化石中的生命全史
[美]尼尔斯·艾崔奇 著;周亚纯 译;董丽萍