《自动机理论及其应用》求取 ⇩

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