StateChart
階層型状態遷移機械
複数の状態をひとつの状態にまとめられる
普通の状態遷移機械に変換可能
