孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

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

自动机理论、语言和计算导论
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [美] （John E.Hopcroft） 著
出版社: 机械工业出版社
2008-07
版次: 1
ISBN: 9787111240358
定价: 49.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 366页
正文语种: 简体中文
原版书名: Introduction to Automata Theory, Languages, and Computation
丛书: 计算机科学丛书
分类: 计算机与互联网
1 张插图图片
395人买过
  • 　　《自动机理论、语言和计算导论》是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。 　　Hopcroft，J.E，地斯坦福大学获得博士学位，现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。 出版者的话

    译者序

    前言

    第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.2DFA如何处理串

    2.2.3DFA的简化记号

    2.2.4把转移函数扩展到串

    2.2.5DFA的语言

    2.2.6习题



    2.3非确定型有穷自动机

    2.3.1非确定型有穷自动机的非形式化观点

    2.3.2非确定型有穷自动机的定义

    2.3.3扩展转移函数

    2.3.4NFA的语言

    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带e转移的有穷自动机

    2.5.1e转移的用途

    2.5.2e-NFA的形式化定义

    2.5.3e闭包

    2.5.4e-NFA的扩展转移和语言

    2.5.5消除e转移

    2.5.6习题

    2.6小结

    2.7参考文献



    第3章正则表达式与正则语言

    3.1正则表达式

    3.1.1正则表达式运算符

    3.1.2构造正则表达式

    3.1.3正则表达式运算符的优先级

    3.1.4习题



    3.2有穷自动机和正则表达式

    3.2.1从DFA到正则表达式

    3.2.2通过消除状态把DFA转化为正则表达式

    3.2.3把正则表达式转化为自动机

    3.2.4习题



    3.3正则表达式的应用

    3.3.1UNIX中的正则表达式

    3.3.2词法分析

    3.3.3查找文本中的模式

    3.3.4习题



    3.4正则表达式代数定律

    3.4.1结合律与交换律

    3.4.2单位元与零元

    3.4.3分配律

    3.4.4幂等律

    3.4.5与闭包有关的定律

    3.4.6发现正则表达式定律

    3.4.7检验正则表达式代数定律

    3.4.8习题

    3.5小结

    3.6参考文献

    第4章正则语言的性质

    第5章上下文无关文法及上下文无关语言

    第6章下推自动机

    第7章上下文无关语言的性质

    第8章图灵机导引

    第9章不可判定性

    第10章难解问题

    第11章其他问题类

    索引
  • 内容简介:
    　　《自动机理论、语言和计算导论》是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。
  • 作者简介:
    　　Hopcroft，J.E，地斯坦福大学获得博士学位，现为康奈尔大任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面，尤其是算法分析、自动机理论等。
  • 目录:
    出版者的话

    译者序

    前言

    第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.2DFA如何处理串

    2.2.3DFA的简化记号

    2.2.4把转移函数扩展到串

    2.2.5DFA的语言

    2.2.6习题



    2.3非确定型有穷自动机

    2.3.1非确定型有穷自动机的非形式化观点

    2.3.2非确定型有穷自动机的定义

    2.3.3扩展转移函数

    2.3.4NFA的语言

    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带e转移的有穷自动机

    2.5.1e转移的用途

    2.5.2e-NFA的形式化定义

    2.5.3e闭包

    2.5.4e-NFA的扩展转移和语言

    2.5.5消除e转移

    2.5.6习题

    2.6小结

    2.7参考文献



    第3章正则表达式与正则语言

    3.1正则表达式

    3.1.1正则表达式运算符

    3.1.2构造正则表达式

    3.1.3正则表达式运算符的优先级

    3.1.4习题



    3.2有穷自动机和正则表达式

    3.2.1从DFA到正则表达式

    3.2.2通过消除状态把DFA转化为正则表达式

    3.2.3把正则表达式转化为自动机

    3.2.4习题



    3.3正则表达式的应用

    3.3.1UNIX中的正则表达式

    3.3.2词法分析

    3.3.3查找文本中的模式

    3.3.4习题



    3.4正则表达式代数定律

    3.4.1结合律与交换律

    3.4.2单位元与零元

    3.4.3分配律

    3.4.4幂等律

    3.4.5与闭包有关的定律

    3.4.6发现正则表达式定律

    3.4.7检验正则表达式代数定律

    3.4.8习题

    3.5小结

    3.6参考文献

    第4章正则语言的性质

    第5章上下文无关文法及上下文无关语言

    第6章下推自动机

    第7章上下文无关语言的性质

    第8章图灵机导引

    第9章不可判定性

    第10章难解问题

    第11章其他问题类

    索引
查看详情
其他版本 / 全部 (3)
12
系列丛书 / 更多
自动机理论、语言和计算导论
Java编程思想（第4版）
[美]Bruce Eckel 著；陈昊鹏 译
￥1.99 起
自动机理论、语言和计算导论
数据挖掘：概念与技术（原书第3版）
[美]Jiawei、[美]Micheling、[美]Jian Pei 著；范明、孟小峰 译
￥1.00 起
自动机理论、语言和计算导论
算法导论（原书第3版）
[美]Thomas、[美]Charles、[美]Ronald、[美]Clifford Stein 著；殷建平、徐云、王刚 译
￥15.00 起
自动机理论、语言和计算导论
数据结构与算法分析：Java语言描述
[美]马克·艾伦·维斯 著；陈越 译
￥1.00 起
自动机理论、语言和计算导论
C程序设计语言（第二版）
[美]Brian（布莱恩·克尼汉）、[美]Dennis M.Ritchie（丹尼斯·里奇） 著；徐宝文、李志 译
￥1.00 起
自动机理论、语言和计算导论
C程序设计语言（第2版·新版） 习题解答
吉米拜尔 著；杨涛 译；[美]汤朵
￥0.01 起
自动机理论、语言和计算导论
计算机科学丛书·云计算：概念、技术与架构
[美]Thomas、[英]Zaigham、[巴西]Ricardo Puttini 著；龚奕利、贺莲、胡创 译
￥0.80 起
自动机理论、语言和计算导论
数据库系统概念：（原书第6版）
[美]Abraham、Henry、S.Sudarshan 著；杨冬青、李红燕、唐世渭 译
￥3.00 起
自动机理论、语言和计算导论
深入理解计算机系统（原书第3版）
[美]兰德尔 E.布莱恩特（Randal E.·Bryant） 著；龚奕利、贺莲 译
￥32.00 起
自动机理论、语言和计算导论
编译原理：原理、技术与工具
[美]阿霍 著；赵建华 译
￥8.00 起
自动机理论、语言和计算导论
计算机科学导论：原书第3版
[美]Behrouz Forouzan 著；刘艺 译
￥0.20 起
自动机理论、语言和计算导论
软件工程：实践者的研究方法（原书第8版 本科教学版）
[美]罗杰 S. 普莱斯曼 著；郑人杰、马素霞 译
￥1.10 起
相关图书 / 更多
自动机理论、语言和计算导论
自动控制原理（本） 全国高等教育自学考试指导委员会 张慧妍
高等教育自学试指导委员会张慧妍
￥20.92 起
自动机理论、语言和计算导论
自动控制原理及工程实践 陆锦军 徐胜 中国铁道出版社 9787113176327
陆锦军徐胜
￥3.00 起
自动机理论、语言和计算导论
自动化专业培养方案 中国自动化学会教育工作委员会 著
中国自动化学会教育工作委员会
￥50.70 起
自动机理论、语言和计算导论
自动控制原理学习指导与习题精解（第3版）
杨宏燕 主编；于建均；范青武
￥26.70 起
自动机理论、语言和计算导论
自动化生产线组装与维护
秦萍 编者；朱智亮；责编:贺飞雁
￥23.40 起
自动机理论、语言和计算导论
自动控制原理(第2版普通高等教育电气信息类系列教材)
王军刘栋博宋潇潇
￥20.93 起
自动机理论、语言和计算导论
自动生产线安装与调试(第2版)/高等院校精品教材系列
宋云艳 编者；王雪丽；责编:陈健德
￥12.80 起
自动机理论、语言和计算导论
自动化生产线安装与调试(第2版第二版) 钟苏丽 刘敏 高等教育出版社 9787040619744 正版旧书
钟苏丽刘敏
￥18.75 起
自动机理论、语言和计算导论
自动驾驶类脑目标检测技术
赵小川；史津竹
￥46.00 起
自动机理论、语言和计算导论
自动控制（第二版） 大中专理科科技综合 黄琦 新华正版
黄琦
￥36.90 起
自动机理论、语言和计算导论
自动化设备工程设计与应用
宋晓波 著；孙崇智；韩良
￥31.50 起
自动机理论、语言和计算导论
自动化生产线安装与调试 焦贺彬
焦贺彬
￥5.82 起
您可能感兴趣 / 更多
自动机理论、语言和计算导论
数学旅行家 文教科普读物 （美）卡尔文・c.克劳森
[美]卡尔文・c.克劳森
￥34.80 起
自动机理论、语言和计算导论
向世界好的医院力
[美]理查德·温特斯（RichardWinters）
￥40.85 起
自动机理论、语言和计算导论
像作家一样阅读：提升读写能力的10堂课
[美]艾琳·M.普希曼
￥30.00 起
自动机理论、语言和计算导论
黑的眼睛不看光明 心理学
[美]玛利亚娜·亚历山德里
￥27.56 起
自动机理论、语言和计算导论
觉醒 外国现当代文学
[美]凯特·肖邦
￥34.87 起
自动机理论、语言和计算导论
从众陷阱 成功学 (美)托德·罗斯(todd rose)
[美]托德·罗斯（toddrose）
￥24.51 起
自动机理论、语言和计算导论
海洋全书：国家地理新探索
[美]西尔维娅·A.厄尔
￥88.39 起
自动机理论、语言和计算导论
吃的勇气：365天告别饮食内耗，与食物和解
[美]伊芙琳·特里波尔（EvelynTribole）
￥34.41 起
© 2002-2025 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全