ジョブ

ジョブとは、集合 $S$（状態の集合）、初期状態 $s_0 \in S$、写像 $T : S \to S$（1 ステップの遷移）、部分集合 $D \subset S$（終了状態の集合）の組である。$s_{k+1} = T(s_k)$ で定まる列 $s_0, s_1, s_2, \ldots$ を軌道という。$s_k \in D$ となる最小の $k$ が存在するとき、それを $N$ と書き、$s_N$ をジョブの結果という。