1 有限状态自动机

1.1 有限状态自动机的模型

有限状态自动机是具有离散输入和输出（输入集和输出集均有限）的一种数学模型，由以下3部分组成：

1.2 有限状态自动机的有向图表示

有限状态自动机可用有向图表示，称为转移图。

转移图的顶点对应于自动机的状态，若状态在输入 时转为状态，且输出一字符 ，则在转移图中，从状态   到状态  有一条标有的弧线。（后面画转移图时候能用到）

1.3 有限状态自动机的矩阵表示

设，则该有限状态自动机的矩阵表示如下

1.4 有限状态自动机的实例

2 **流生成器

**流产生器

**流生成器设计的关键

关键在于：找出适当的状态转移函数φ和输出函数ψ，使得输出序列z满足**流序列z应满足的随机性条件，并且要求在设备上是节省的和容易实现的。

一般采用线性的φ和非线性的ψ，这样将能够进行深入的分析并可以得到好的生成器。

**流生成器的分解

 **流生成器可分成驱动部分和非线性组合部分

 驱动部分控制生成器的状态转移，并为非线性组合部分提供 统计性能好的序列

 非线性组合部分要利用这些序列组合出满足要求的**流序 列

常见的两种**流产生器

目前最为流行和实用的**流产生器，其驱动部分是一个或多个线性反馈移位寄存器。

• 前者称为滤波生成器，或前馈生成器
• 后者称为非线性组合生成器
• 还有钟控生成器，缩减生成器，停走生成器等