【3】有限状态自动机

有限状态自动机

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

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

举个例子：

密钥流生成器

密钥流生成器：参数为k的有限状态自动机
一个输出符号集Z、一个状态集∑、两个函数φ和ψ以及一个初始状态σ₀组成。
状态转移函数φ:σ_i→σ_i+1，将当前状态σ_i变为一个新状态σ_i+1。
输出函数ψ:σ_i→z_i，当前状态σ_i变为输出符号集中的一个元素z_i。

• 作为有限状态自动机的密钥流生成器
  
• 密钥流生成器设计的关键：

关键在于:找出适当的状态转移函数φ和输出函数ψ，使得输出序列z满足密钥流序列z应满足的随机性条件，并且要求在设备上是节省的和容易实现的。
一般采用线性的φ（状态转移函数）和非线性的ψ（输出函数），这样将能够进行深入的分析并可以得到好的生成器。

• 密钥流生成器的分解：

密钥流生成器可分成驱动部分和非线性组合部分。
驱动部分控制生成器的状态转移，并为非线性组合部分提供 统计性能好的序列。
非线性组合部分要利用这些序列组合出满足要求的密钥流序列。

• 常见的两种密钥流产生器

目前最为流行和实用的密钥流产生器，其驱动部分是一个或多个线性反馈移位寄存器（linear feedback shift register, LFSR）。
• 前者称为滤波生成器，或前馈生成器
• 后者称为非线性组合生成器
• 还有钟控生成器，缩减生成器，停走生成器等