《有限自动机的可逆性》

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