30、有限自动机相关研究：⊕ - NFAs、LFSRs与超级非确定性有限自动机

有限自动机相关研究：⊕ - NFAs、LFSRs与超级非确定性有限自动机

1. 一元⊕ - NFAs与线性反馈移位寄存器

1.1 线性反馈移位寄存器（LFSRs）

线性反馈移位寄存器（LFSRs）是伽罗瓦域GF(2)上的线性自治机器。在GF(2)域中，仅有两个元素0和1，加法和乘法运算定义如下：
| + | 0 | 1 |
| — | — | — |
| 0 | 0 | 1 |
| 1 | 1 | 0 |

可以注意到，⊕运算与GF(2)中的加法运算相似。

线性机器是一个5元组 (M = (F_k, F_l, F_m, \tau, \omega))，其中 (F_k) 是状态集，(F_l) 是输入集，(F_m) 是输出集，(\tau) 和 (\omega) 是线性变换，满足 (\tau : F_{k + l} \to F_k) 和 (\omega : F_{k + l} \to F_m)。其状态和输出的矩阵表示为：
(Y = Ay + Bx)
(z = Cy + Dx)
这里，(A)、(B)、(C) 和 (D)