目 录 1
第1章基础知识 1
1.1集合与关系 1
1.2逻辑 9
1.3 图 12
1.4证明技术 22
1.4.1演绎证明 23
1.4.2反证法 24
1.4.3归纳定义与归纳法 25
习题 27
第2章语言及文法 33
2.1语言的定义与运算 33
2.2文法 36
2.3文法的分类 39
习题 47
第3章有限自动机和右线性文法 49
3.1有限自动机 49
3.1.1有限状态系统和有限自动机的概念 49
3.1.2有限自动机的形式定义 53
3.1.3设计有限自动机 57
3.2不确定的有限自动机 59
3.3 DFA与NFA的等效 63
3.4有ε转换的不确定的有限自动机 69
3.5正则集与正则式 75
3.6右线性文法和正则集 79
3.7正则表达式和有限自动机 82
3.8右线性语言与有限自动机 88
3.9右线性语言的性质 94
3.9.1确定的有限自动机的化简 94
3.9.2泵浦引理 100
3.9.3右线性语言的封闭性 103
3.9.4判定问题 110
3.10双向和有输出的有限自动机 112
3.10.1双向有限自动机 112
3.10.2有输出的有限自动机 113
习题 118
第4章上下文无关文法与下推自动机 123
4.1推导树与二义性 123
4.2上下文无关文法的变换 131
4.3 Chomsky范式和Greibach范式 146
4.4下推自动机 151
4.5上下文无关文法与下推自动机 161
4.6上下文无关语言的性质 171
4.6.1关于上下文无关语言的泵浦引理 171
4.6.2上下文无关语言的封闭性 174
4.6.3上下文无关语言的判定问题 177
4.6.4二义性 178
4.7受限型上下文无关文法 180
习题 181
5.1基本图灵机 186
第5章图灵机 186
5.2图灵机的构造技术 195
5.2.1控制器的存储 195
5.2.2多道机 196
5.2.3核对符 197
5.2.4移位 200
5.2.5子程序 201
5.3修改型图灵机 204
5.3.1双向无限带图灵机 205
5.3.2多带图灵机 209
5.3.3不确定的图灵机 211
5.3.4二维图灵机 212
5.4图灵机与无限制文法 214
5.5线性有界自动机与上下文有关文法 218
习题 218
第6章翻译 221
6.1翻译式 221
6.2转换器 228
6.2.1有限转换器 228
6.2.2下推转换器 231
6.3词法分析 240
6.4句法分析 247
6.4.1 自上而下解析 249
6.4.2自下而上解析 253
习题 257
第7章自动机理论在通信领域的应用 260
7.1状态机基本模型及其局限性 260
7.2 MSC和SDL简介 264
7.3应用状态机模型描述协议 272
附录计算复杂性与可计算性基础 275
参考文献 288