形式语言与自动机
出版时间:
2008-06
ISBN:
9787111237761
定价:
29.00
装帧:
其他
开本:
其他
纸张:
胶版纸
页数:
227页
71人买过
-
本书以四类形式语言(短语结构语言、上下文有关语言、上下文无关语言、正则语言)和四种自动机(有穷自动机、下推自动机、图灵机、线性有界自动机)为主线,讨论了形式语言与自动机方面的主要理论成果和应用实例。书中每一章的最后都配有大量不同难度的习题,有助于读者掌握本书内容。
本书采用通俗的语言和形象化的方法来表达概念和定理,逻辑严谨、思维缜密,可作为高等院校计算机及相关专业硕士“形式语言与自动机”课程的教材。 陈有祺,南开大学信息技术科学学院教授,多年来一直从事计算机软件方面的教学和研究工作,从1993年起享受国务院政府特殊津贴。讲授的课程主要有程序设计语言.编译原理,数据结构、形式语言与自动机等,研究领域包括编译理论、人工智能、自然语言理解,形式语言等。1980年至1 出版者的话
序言
前言
教学建议
第1章 预备知识
1.1 定理及其证明方法
1.1.1 演绎法
1.1.2 反证法
1.1.3 归纳法
1.2 集合及其基本运算
1.2.1 集合基础知识
1.2.2 集合的基本运算
1.2.3 关系与映射
1.3 图和树简介
1.3.1 图的基本概念
1.3.2 图的矩阵表示
1.3.3 树的基本知识
1.4 字母表、字符串和语言
习题
第2章 文法的一般理论
2.1 问题的提出
2.2 形式文法与形式语言
2.3 文法的乔姆斯基分类
习题
第3章 有穷自动机
3.1 非形式化描述
3.2 有穷自动机的基本定义
3.3 非确定的有穷自动机
3.4 具有£转移的有穷自动机
3.5 有穷自动机的应用
3.5.1 在文本中查找字符串
3.5.2 用于文本搜索的非确定的有穷自动机
3.5.3 识别关键字集合的DFA
3.6 具有输出的有穷自动机
习题
第4章 正则表达式
4.1 正则表达式的定义
4.2 正则表达式和有穷自动机的关系
4.3 则表达式的等价变换
4.3.1 交换律与结合律
4.3.2 单位元与零元
4.3.3 分配律
4.3.4 与“*”构造有关的定律
4.3.5 发现正则表达式定律的一般方法
4.4 正则表达式的应用
4.4.1 UNIX中的正则表达式
4.4.2 词法分析
4.4.3 查找文本中的模式
习题
第5章 正则语言的性质
5.1 正则文法和有穷自动机的关系
5.2 正则语言的泵引理
5.3 正则语言的封闭性
5.4 正则语言的判定算法
5.5 有穷自动机的最小化
习题
第6章 上下文无关文法
6.1 上下文无关文法的语法分析
6.2 上下文无关文法的化简
6.3 上下文无关文法的范式
6.4 上下文无关文法的应用
6.4.1 用上下文无关文法描述语言
6.4.2 语法分析器生成工具YACC
……
第7章 下推自动机
第8章 上下文无关语言的性质
第9章 图灵机导引
第10章 不可判定性
第11章 线性有界自动机和上下文有关文法
第12章 确定的上下文无关语言和LR(k)文法
参考文献
-
内容简介:
本书以四类形式语言(短语结构语言、上下文有关语言、上下文无关语言、正则语言)和四种自动机(有穷自动机、下推自动机、图灵机、线性有界自动机)为主线,讨论了形式语言与自动机方面的主要理论成果和应用实例。书中每一章的最后都配有大量不同难度的习题,有助于读者掌握本书内容。
本书采用通俗的语言和形象化的方法来表达概念和定理,逻辑严谨、思维缜密,可作为高等院校计算机及相关专业硕士“形式语言与自动机”课程的教材。
-
作者简介:
陈有祺,南开大学信息技术科学学院教授,多年来一直从事计算机软件方面的教学和研究工作,从1993年起享受国务院政府特殊津贴。讲授的课程主要有程序设计语言.编译原理,数据结构、形式语言与自动机等,研究领域包括编译理论、人工智能、自然语言理解,形式语言等。1980年至1
-
目录:
出版者的话
序言
前言
教学建议
第1章 预备知识
1.1 定理及其证明方法
1.1.1 演绎法
1.1.2 反证法
1.1.3 归纳法
1.2 集合及其基本运算
1.2.1 集合基础知识
1.2.2 集合的基本运算
1.2.3 关系与映射
1.3 图和树简介
1.3.1 图的基本概念
1.3.2 图的矩阵表示
1.3.3 树的基本知识
1.4 字母表、字符串和语言
习题
第2章 文法的一般理论
2.1 问题的提出
2.2 形式文法与形式语言
2.3 文法的乔姆斯基分类
习题
第3章 有穷自动机
3.1 非形式化描述
3.2 有穷自动机的基本定义
3.3 非确定的有穷自动机
3.4 具有£转移的有穷自动机
3.5 有穷自动机的应用
3.5.1 在文本中查找字符串
3.5.2 用于文本搜索的非确定的有穷自动机
3.5.3 识别关键字集合的DFA
3.6 具有输出的有穷自动机
习题
第4章 正则表达式
4.1 正则表达式的定义
4.2 正则表达式和有穷自动机的关系
4.3 则表达式的等价变换
4.3.1 交换律与结合律
4.3.2 单位元与零元
4.3.3 分配律
4.3.4 与“*”构造有关的定律
4.3.5 发现正则表达式定律的一般方法
4.4 正则表达式的应用
4.4.1 UNIX中的正则表达式
4.4.2 词法分析
4.4.3 查找文本中的模式
习题
第5章 正则语言的性质
5.1 正则文法和有穷自动机的关系
5.2 正则语言的泵引理
5.3 正则语言的封闭性
5.4 正则语言的判定算法
5.5 有穷自动机的最小化
习题
第6章 上下文无关文法
6.1 上下文无关文法的语法分析
6.2 上下文无关文法的化简
6.3 上下文无关文法的范式
6.4 上下文无关文法的应用
6.4.1 用上下文无关文法描述语言
6.4.2 语法分析器生成工具YACC
……
第7章 下推自动机
第8章 上下文无关语言的性质
第9章 图灵机导引
第10章 不可判定性
第11章 线性有界自动机和上下文有关文法
第12章 确定的上下文无关语言和LR(k)文法
参考文献
查看详情
-
九品
-
形式语言与自动机
正版二手书,图片套装请联系客服再下单,均有笔记不影响使用,无赠品、光盘、MP149603等
八五品
山东省枣庄市
平均发货9小时
成功完成率88.08%
-
八五品
山东省济南市
平均发货8小时
成功完成率94.11%
-
形式语言与自动机
图书已消毒!套装图书多为单本定价,下单前请联系客服。正版发货快
八五品
重庆市沙坪坝区
平均发货9小时
成功完成率87.76%
-
8
八五品
重庆市沙坪坝区
平均发货8小时
成功完成率84.12%
-
八五品
四川省成都市
平均发货8小时
成功完成率93.62%
-
8
八品
河南省郑州市
平均发货6小时
成功完成率97.72%
-
八五品
重庆市南岸区
平均发货17小时
成功完成率85.52%
-
5
2008-09 印刷
八五品
陕西省西安市
平均发货8小时
成功完成率98.09%
-
八五品
上海市嘉定区
平均发货2小时
成功完成率93.43%
-
九品
上海市嘉定区
平均发货2小时
成功完成率93.43%
-
9
2008-09 印刷
印次: 1
九品
北京市昌平区
平均发货8小时
成功完成率97.18%
-
4
2008-09 印刷
印次: 1
九品
江苏省南京市
平均发货7小时
成功完成率95.72%
-
八五品
上海市嘉定区
平均发货2小时
成功完成率93.43%
-
6
八五品
北京市海淀区
平均发货11小时
成功完成率95.81%
-
12
八五品
天津市南开区
平均发货13小时
成功完成率95.44%
-
八五品
安徽省马鞍山市
平均发货10小时
成功完成率87.83%
-
九品
北京市海淀区
平均发货24小时
成功完成率83.36%
-
八五品
江西省南昌市
平均发货12小时
成功完成率76.25%
-
6
八五品
河南省郑州市
平均发货7小时
成功完成率95.72%
-
九五品
河北省廊坊市
平均发货1小时
成功完成率99.38%
-
九品
北京市昌平区
平均发货17小时
成功完成率90.48%
-
九五品
江苏省南京市
平均发货24小时
成功完成率77.48%