少数の吸収状態と多数の過渡状態からなるタグ付きタスクモデルの状態確率を, そのモデルの特徴を生かして少ない計算量で求める方法を示す. ここでは, タグ付きタスクモデルの状態を到達可能性に基づく同値類に分割し, その同値類を更に再帰的に分割することによって計算に必要な記憶容量を減らす方法を示す. 更に, 状態確率の小さくなった同値類を集約し, 一つの状態で表すことによって計算時間を減らす方法を示す. 最後に,実際に数値計算を行って得られた計算量および誤差の例を示す.