有限自动状态机
有限自动状态机是具有离散输入和输出(输入、输出集均有限)的一种数学模型,由以下三部分组成:
- 有限状态集{ S = s i ∣ i = 1 , 2 , 3... l S=s_i|i=1,2,3...l S=si∣i=1,2,3...l};
- 有限输入字符集 A 1 = A_1= A1={ A j 1 ∣ j = 1 , 2 , 3 , . . . , m A_j^1|j=1,2,3,...,m Aj1∣j=1,2,3,...,m}和有限输出字符集 A 2 = A_2= A2={ A k 2 ∣ k = 1 , 2 , 3 , . . . , n A_k^2|k=1,2,3,...,n Ak2∣k=1,2,3,...,n};
- 转移函数 A k 2 = f 1 ( s i , A j 1 ) , s h = f 2 ( S i , A j 1 ) A_k^2=f_1(s_i,A_j^1),s_h=f_2(S_i,A_j^1) Ak2=f1(si,Aj1),sh=f2(Si,Aj1),意思是说在状态 s i s_i si,输入 A j 1 A_j^1 Aj1时,输出为 A k 2 A_k^2 Ak2且转移状态到 s h s_h sh。
自己的理解:有限自动状态机是为了满足在同步流密码加密过程中密钥产生器产生密钥的一种数学模型,需满足由当前一个输入值,产生一个输出值作为当前密钥进行加密运算,且需跳转到下一状态为下一次产生密钥做准备。