当前位置：计算机科学基础pdf电子书下载 > 工业技术
- 作 者：曹晓东编
- 出 版 社：北京：冶金工业出版社
- 出版年份：1986
- ISBN：15062·4512
- 标注页数：172 页
- PDF页数：179 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源179 ≥172页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 1
前言 1
第一章 形式语言与自动机 1
1.1 概述 1
1.2 数学预备知识 2
1.3 短语结构语言 13
1.4 正则语言 22
1.5 有限自动机 27
1.6 有限自动机和正则语言 36
1.7 上下文无关语言 41
1.8 下推式自动机 51
1.9 下推自动机和上下文无关语言 57
1.10 图灵机 59
1.11 图灵机和非限定性（即O型）语言 65
1.12 上下文有关语言 67
1.13 线性有界自动机 68
1.14 线性有界自动机和上下文有关语言 69
1.15 判定问题 70
1.16 有关课题、指导方向 71
第二章 可计算性理论引论 76
2.1 有穷状态机与正则文法 76
2.2 图灵机与部分递归函数 87
第三章 定理自动证明 113
3.1 试探法 113
3.2 判定法 138
3.3 计算机辅助证明 139
3.4 证明算法 139
附录 重言式系统 140
第四章 模糊集论简介 150
4.1 模糊集的基本知识 150
4.2 模糊集合 155
4.3 模型识别的直接方法 162
4.4 三角形的直接识别方法 170