目录 1
导引 1
目录 1
第一章 图灵机和递归可枚举语言 6
1.1 图灵机的基本概念 6
1.2 关于不可计算的函数 14
1.3 递归集类 17
1.4 图灵机的构造技术和通用图灵机 30
1.5 图灵机的变形 44
1.6 图灵机和0型文法 60
第二章 线性有界自动机与上下文有关语言 65
2.1 线性有界自动机 65
2.2 上下文有关文法 68
2.3 线性有界自动机与上下文有关语言的关系 72
2.4 关于上下文有关语言的判定问题 75
3.1 引言 79
第三章 下推自动机与上下文无关语言 79
3.2 下推自动机 81
3.3 不确定的下推自动机与前后文无关语言 87
3.4 上下文无关文法 96
3.5 范式文法 110
3.6 “泵作用定理”和有限性的判定算法 120
3.7 自嵌套特性 126
3.8 上下文无关语言中的ε规则 128
3.9 上下文无关语言和文法的特殊类型 131
第四章 有限自动机与正规文法 133
4.1 有限自动机与等价关系 133
4.2 不确定的有限自动机 137
4.3 有限自动机和3型语言的等价性 141
4.4 3型语言的性质 144
4.5 关于有限自动机的判定问题 151
4.6 双向有限自动机 153
第五章 有输出的时序机与状态表化简 158
5.1 密勒自动机和摩尔自动机 159
5.2 状态表化简 164
第六章 时序机与数字电路的综合 180
6.1 两个自动机的连接 180
6.2 结构自动机 186
6.3 根据算法图综合微程序自动机 203
6.4 微程序自动机的结构表 215
第七章 时序机与可编程逻辑阵列 217
7.1 组合线路和自动机的PLA实现 217
7.2 自动机的PLA实现中的逻辑线路化简 222
第八章 自动机在收缩阵列设计中应用 233
8.1 收缩阵列的系统结构简述 233
8.2 SYSTOLIC阵列时序机 235
8.3 SYSTOLIC阵列的设计 244
第九章 模式识别的语言方法 258
9.1 上下文无法程序文法 259
9.2 模式的语言表示 261
9.3 多维模式的表示 266
9.4 模式的识别步骤 271
9.5 波形中的波峰识别 277
第十章 概率自动机与概率语言 281
10.1 引言 281
10.2 Rabin自动机 282
10.3 概率语言与文法 285
10.4 概率自动机定义的扩展与分类 288
10.5 概率树自动机与上下文无关P语言 290
第十一章 自动机概念在其他领域的应用 299
11.1 引言 299
11.2 实际自动机与稳定性问题 299
11.3 学习自动机 303
11.4 具有成本函数的有限自动机 307
11.5 模糊自动机 309
参考文献 314