飞速星空

您的位置: 下载首页 → 电子书 → 《形式语言与自动机导论:原书第三版》电子版

跳到下载链接 《形式语言与自动机导论:原书第三版》电子版

软件简介


本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图录机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。
本书是理论计算机科学方面的优秀教材之珂作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
出版者的话
专家指导委员会
译者序
前言
第1章 计算理论导引
1.1 数学预备知识和表示
1.2 三个基本概念
1.3 一些应用
第2章 有穷自动机
2.1 确定型有穷接受器
2.2 非确这型有穷接受器
2.3 确定型有穷接受器和非确定型有
2.4 减少有穷自动机中状态的化简
第3章 正则语言与正则文法
3.1 正则表达式
3.2 正则表达和正则语言之间的联系
3.3 正则文法
第4章 正则语言的性质
4.1 正则语言的封闭性质
4.2 正则语言的基本问题
4.3 识别非正则语言
第5章 上下文无关语言
5.1 上下文无关方法
5.2 分析和二义性
5.3 上下文无关文法和程序设计语言
第6章 上下文无关文法的化简与范式
6.1 文法变换方法
6.2 两个重要的范式
6.3 上下文无关文法的成员资格
第7章 下推自动机
7.1 非确定型下推自动机
7.2 下推自动机与上下文无关语言
7.3 确定型下推自动机和确定型上下文无关语言
7.4 确定型上下文无关语言的方法
第8章 上下文无关语言的性质
8.1 两个泵引理
8.2 上下文无关语言的封闭性质和判定算法
第9章 图灵机
9.1 标准图灵机
9.2 完成复杂任务的组合图灵机
9.3 图灵论题
第10章 图灵机的其他模型
10.1 对图灵机的等价性
10.2 具有更复杂存储的图灵机
10.3 非确定型图灵机
10.4 通用图灵机
10.5 线性有界自动机
第11章 形式语言和自动机的层次结构
第12章 算法计算的限制
第13章 其他的计算模型
第14章 计算复杂性介绍
部分习题的解答和提示
参考文献
索引

网友留言