《计算机科学基础》求取 ⇩

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