计算机科学基础

作者：曹晓东编
出版社：北京：冶金工业出版社
出版年份：1986
ISBN：15062·4512
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
8
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

目录 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