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

设S={s1,s2,s3}，A1={A1(1),A2(1),A3(1)} A2={A1(2),A2(2),A3(2)}，则该有限状态自动机的矩阵表示如下

若输入序列为 A(1)1 A(1)2 A(1)1 A(1)3 A(1)3 A(1)1 初始状态为s1， 则得到状态序列 s1s2s2s3s2s1s2 输出字符序列 A(2)1 A(2)1 A(2)2 A(2)1 A(2)3 A(2)1

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

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