与えられた状態から始まる実行経路のかの推移について記述