型から状態遷移図を生成