飛び越しとストリーム

生成器 $(S, T, g)$ について、状態 $s$ と整数 $k \ge 0$ から $T^k(s)$ を、$T$ を $k$ 回施すより少ない手間で求めることを飛び越し（jump-ahead）という。開始状態 $s$ と長さ $L$ に対して、状態の並び $s, T(s), \ldots, T^{L-1}(s)$（およびそこからの出力）を、$s$ から始まる長さ $L$ のストリームという。