首页  软件  游戏  图书  电影  电视剧

请输入您要查询的图书:

 

图书 自动机理论语言和计算导论(原书第3版典藏版)/计算机科学丛书
内容
内容推荐
本书是形式语言、自动机理论和计算复杂性方面的经典之作,是在国际上得到广泛认可的计算机理论和计算机工程专业的教材。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书注重定义、定理的准确性和严格性,注重形式化和严格的数学推理能力的培养,同时在定义和证明中运用直观的方法说明抽象概念,借助许多图表帮助传达思想,并包含大量难度各异的示例和习题,便于学生加深对内容的理解。
本书适合作为计算机专业高年级本科生及研究生计算理论课程的教材和教学参考书。
作者简介
约翰·E.霍普克罗夫特(John E.Hopcroft),1986年图灵奖获得者、美国国家工程院院士、美国国家科学院院士、美国国家艺术与科学院院士、中国科学院外籍院士、美国康奈尔大学教授。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。他和Jeffrey D.Ullman一起获得2010年EEE颁发的约翰·冯诺依曼奖,以表彰其“为自动机和语言理论领域奠定基础,以及对理论计算机科学的许多开创性贡献”。
目录
译者序
前言
第1章 自动机:方法与体验
1.1 为什么研究自动机理论
1.1.1 有穷自动机简介
1.1.2 结构表示法
1.1.3 自动机与复杂性
1.2 形式化证明简介
1.2.1 演绎证明
1.2.2 求助于定义
1.2.3 其他定理形式
1.2.4 表面上不是“如果-则”命题的定理
1.3 其他的证明形式
1.3.1 证明集合等价性
1.3.2 逆否命题
1.3.3 反证法
1.3.4 反例
1.4 归纳证明
1.4.1 整数上的归纳法
1.4.2 更一般形式的整数归纳法
1.4.3 结构归纳法
1.4.4 互归纳法
1.5 自动机理论的中心概念
1.5.1 字母表
1.5.2 串
1.5.3 语言
1.5.4 问题
1.6 小结
1.7 参考文献
第2章 有穷自动机
2.1 有穷自动机的非形式化描述
2.1.1 基本规则
2.1.2 协议
2.1.3 允许自动机忽略动作
2.1.4 整个系统成为一个自动机
2.1.5 用乘积自动机验证协议
2.2 确定型有穷自动机
2.2.1 确定型有穷自动机的定义
2.2.2 DFA如何处理串
2.2.3 DFA的简化记号
2.2.4 把转移函数扩展到串
2.2.5 DFA的语言
2.2.6 习题
2.3 非确定型有穷自动机
2.3.1 非确定型有穷自动机的非形式化观点
2.3.2 非确定型有穷自动机的定义
2.3.3 扩展转移函数
2.3.4 NFA的语言
2.3.5 确定型有穷自动机与非确定型有穷自动机的等价性
2.3.6 子集构造的坏情形
2.3.7 习题
2.4 应用:文本搜索
2.4.1 在文本中查找串
2.4.2 文本搜索的非确定型有穷自动机
2.4.3 识别关键字集合的DFA
2.4.4 习题
2.5 带ε转移的有穷自动机
2.5.1 ε转移的用途
2.5.2 ε-NFA的形式化定义
2.5.3 ε闭包
2.5.4 ε-NFA的扩展转移和语言
2.5.5 消除ε转移
2.5.6 习题
2.6 小结
2.7 参考文献
第3章 正则表达式与正则语言
第4章 正则语言的性质
第5章 上下文无关文法及上下文无关语言
第6章 下推自动机
第7章 上下文无关语言的性质
第8章 图灵机导引第9章不可判定性
第10章 难解问题
第11章 其他问题类
索引
标签
缩略图
书名 自动机理论语言和计算导论(原书第3版典藏版)/计算机科学丛书
副书名
原作名
作者 (美)约翰·E.霍普克罗夫特//拉杰夫·莫特瓦尼//杰弗里·D.乌尔曼
译者 译者:孙家骕
编者
绘者
出版社 机械工业出版社
商品编码(ISBN) 9787111704294
开本 16开
页数 366
版次 1
装订 平装
字数
出版时间 2022-04-01
首版时间 2022-04-01
印刷时间 2022-04-01
正文语种
读者对象 本科及以上
适用范围
发行范围 公开发行
发行模式 实体书
首发网站
连载网址
图书大类 教育考试-考试-计算机类
图书小类
重量 680
CIP核字 2022048730
中图分类号 TP301
丛书名
印张 23.75
印次 1
出版地 北京
260
186
18
整理
媒质
用纸
是否注音
影印版本
出版商国别
是否套装
著作权合同登记号
版权提供者
定价
印数
出品方
作品荣誉
主角
配角
其他角色
一句话简介
立意
作品视角
所属系列
文章进度
内容简介
作者简介
目录
文摘
安全警示 适度休息有益身心健康,请勿长期沉迷于阅读小说。
随便看

 

兰台网图书档案馆全面收录古今中外各种图书,详细介绍图书的基本信息及目录、摘要等图书资料。

 

Copyright © 2004-2025 xlantai.com All Rights Reserved
更新时间:2025/5/8 11:58:22