自动机理论及其应用PDF电子书下载

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