擬似乱数生成器

擬似乱数生成器とは、有限集合 $S$（状態集合）、写像 $T : S \to S$（遷移）、有限集合 $O$ への写像 $g : S \to O$（出力関数）の組 $(S, T, g)$ のことである。初期状態（種）$s_0 \in S$ から、状態の列 $s_{k+1} = T(s_k)$ と出力の列 $y_k = g(s_k)$（$k = 0, 1, 2, \ldots$）が決まる。