確率行列は、要素が有限個の状態空間 "s" (濃度formula_1)上のマルコフ連鎖formula_2を記述する。