购物车
特价促销商品
您最近的浏览历史
暂无浏览历史自动机理论.语言和计算导论(原书第2版)(译者:刘田)-计算机科学丛书
点击查看大图
出 版 社：
机械工业出版社
- 出版时间：2004-6-1
- ISBN：711114452x
- 销售状态：在销
定价：￥39.00
时代网价：￥33.15 折扣：85折 节省：￥5.85
配送区域：成都市区免费送货上门、货到付款；四川其它地区送货上门、货到付款。全国范围内使用支付宝支付，先收货，后付款，安全方便（支付宝信任商家）。查看具体配送区域
 |
 |
 |
 |
关注过此商品的顾客还关注过
内容简介
本书是关于形式语言、自动机理论和计算复杂性方面的经典之作。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书在定义和证明中使用了很多细节和直观说明，使用图来帮助阐明思想，并包含了大量的难度各异的示例和习题，以便读者确认和加深对内容的理解。
本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。
作者介绍
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章 其他问题类
索引 【媒体评论】
专家指导委员会
译者序
前言
第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章 其他问题类
索引 【媒体评论】
顾客评论 
（查看所有有关此商品的评论）
（查看所有有关此商品的评论）商品问答 
（查看所有问答）
（查看所有问答）
