扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
JAVA持续交付
-
>
EXCEL最强教科书(完全版)(全彩印刷)
-
>
深度学习
买过本商品的人还买了
形式语言与自动机-(第2版) 版权信息
- ISBN：9787563549979
- 条形码：9787563549979 ; 978-7-5635-4997-9
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
形式语言与自动机-(第2版) 本书特色
杨娟、石川、王柏主编的《形式语言与自动机（第2版普通高等教育十二五规划教材）》扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。同时也介绍了形式语言与自动机的主要理论成果和应用实例。
本书不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析。书中配有较多的例题和习题，可作为工科计算机专业本科生的教材和研究人员的参考书。
形式语言与自动机-(第2版) 内容简介
本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍了形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法与下推自动机、图灵机以及无限制文法等。 同时也介绍了形式语言与自动机的主要理论成果和应用实例。本书不追求过多形式化讨论，强调基本概念的直观背景和主要定理证明的思路分析。书中配有较多的例题和习题，可作为工科计算机专业本科生的教材和研究人员的参考书。
形式语言与自动机-(第2版) 目录
第1章 基础知识1.1 集合与关系1.2 逻辑1.3 图1.4 证明技术 1.4.1 演绎证明1.4.2 反证法1.4.3 归纳定义与归纳法1.5 典型例题解析习题
第2章 语言及文法2.1 语言的定义与运算 2.2 文法 2.3 文法的分类2.4 典型例题解析习题
第3章 有限自动机和右线性文法3.1 有限自动机3.1.1 有限状态系统和有限自动机的概念3.1.2 有限自动机的形式定义3.1.3 设计有限自动机3.2 不确定的有限自动机3.3 DFA与NFA的等效3.4 有ε转换的不确定的有限自动机3.5 正则集与正则式3.6 右线性文法和正则集3.7 正则表达式和有限自动机3.8 右线性语言与有限自动机3.9 右线性语言的性质3.9.1 确定的有限自动机的化简 3.9.2 泵浦引理3.9.3 右线性语言的封闭性 3.9.4 判定问题3.10 双向和有输出的有限自动机3.10.1 双向有限自动机3.10.2 有输出的有限自动机3.11 正则表达式和有限自动机的应用3.11.1 UNIX中的正则表达式3.11.2 文本编辑程序3.11.3 词法分析3.11.4 文本搜索与字符串匹配.3.11.5 单词拼写检查3.12 典型例题解析
习题
第4章 上下文无关文法与下推自动机 4.1 推导树与二义性4.2 上下文无关文法的变换4.3 Chomsky范式和Greibach范式 4.4 下推自动机4.5 上下文无关文法与下推自动机4.6 上下文无关语言的性质4.6.1 上下文无关语言的泵浦引理4.6.2 上下文无关语言的封闭性4.6.3 上下文无关语言的判定问题 4.6.4 上下文无关语言的二义性4.7 受限型上下文无关文法4.8 上下文无关文法的应用4.8.1 上下文无关文法在语法分析中的应用4.8.2 上下文无关文法变换的应用4.8.3 上下文无关文法的其他应用 4.9 典型例题解析习题
第5章 图灵机5.1 基本图灵机5.2 图灵机的构造技术5.2.1 控制器的存储5.2.2 多道机5.2.3 核对符5.2.4 移位5.2.5 子程序5.3 修改型图灵机5.3.1 双向无限带图灵机5.3.2 多带图灵机5.3.3 不确定的图灵机5.3.4 二维图灵机5.4 图灵机与无限制文法5.5 线性有界自动机与上下文有关文法5.6 典型例题解析习题
第6章 翻译6.1 翻译式6.2 转换器6.2.1 有限转换器6.2.2 下推转换器6.3 词法分析6.4 句法分析6.4.1 自上而下解析6.4.2 自下而上解析习题
第7章 自动机理论在通信领域的应用 7.1 状态机基本模型及其局限性 7.2 MSC和SDL简介7.3 应用状态机模型描述协议
附录计算复杂性与可计算性基础
参考文献
展开全部
形式语言与自动机-(第2版) 作者简介
杨娟,女，北京邮电大学副教授。自1998年留校任教以来，一直教授北邮计算机学院本科生《形式语言与自动机》和《离散数学》两门专业基础课程，教学工作量饱满，教学效果良好。曾获校教学观摩评比一等奖，校“烛光奖”候选人提名。
书友推荐
- >
回忆爱玛侬
回忆爱玛侬
¥24.0¥32.8 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥8.7¥24.0 - >
姑妈的宝刀
姑妈的宝刀
¥12.1¥30.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥16.9¥49.8 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
山海经
山海经
¥18.7¥68.0
本类畅销
-
这就是ChatGPT
¥41.9¥59.8 -
机器学习
¥47.4¥108 -
深度学习导论
¥24.5¥49 -
正版图书携程人工智能实践
¥51.1¥109 -
TensorFlow实战
¥26.3¥79 -
做好课题申报:AI辅助申请书写作
¥48.9¥69.8
