種による決定性

定義 5.1 の記号を使う。

1. 出力列 $(v_k)$ は種 $\sigma$ だけで決まる。
2. 乱数を消費する決定的なプログラムが止まるとき、その出力は $(q_0,\sigma)$ だけで決まる。
3. 2 つの消費者 A, B が 1 つの生成器を共有し、それぞれ値を 1 つ受け取ってそのまま出力するとする。A が先に受け取る実行では出力の組は $(v_0,v_1)$、B が先に受け取る実行では $(v_1,v_0)$ で、$v_0\ne v_1$ ならば種が同じでも 2 つの実行の結果は異なる。
4. A, B がそれぞれ自分専用の生成器（種 $\sigma_{\mathrm{A}},\sigma_{\mathrm{B}}$）をもち、互いの状態を読み書きしないならば、A の出力は $(q^{\mathrm{A}}_0,\sigma_{\mathrm{A}})$ だけ、B の出力は $(q^{\mathrm{B}}_0,\sigma_{\mathrm{B}})$ だけで決まり、A と B の手続きがどんな順序で交互に進んでも結果は変わらない。