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