有限自动机的可逆性PDF电子书下载

目 录 1

前言 1

第一章绪论 1

1.1有限自动机的逻辑网络实现 1

1.2状态等价 11

1.3线性有限自动机的标准形式 15

1.4子有限自动机 26

1.5线性有限自动机的z变换 34

1.6状态识别试验和同步序列 47

1.7存贮性 52

第二章可逆性 65

2.1有限延迟性和逆的存在性 65

2.2线性逆的存在性 69

2.3 z变换判别法 87

2.4延迟τ步弱（可）逆线性有限自动机的构造 94

2.5误差传播和前馈可逆 134

2.6延迟τ步（可）逆线性有限自动机的构造 162

2.7延迟τ步弱可逆有限自动机的构造 174

2.8延迟τ步可逆有限自动机的构造 184

第三章 自治有限自动机 200

3.1 自治线性有限自动机输出序列的表示 200

3.2平移 228

3.3周期 237

3.4最长线性移位寄存器序列 244

3.5线性移位寄存器序列的采样 249

3.6自治有限自动机的线性化 259

附录 272

Ⅰ 有限域 272

Ⅱ 有限域上函数的表示 281

Ⅲ组合数 288

参考文献 295

索引 297