その結果状態formula_31は以下のような状態formula_34に遷移する: