非決定性オートマトンを決定性オートマトンへ変換

Menu

以下の NFA をDFAに変換したものを Agda で記述せよ。

---

1

---

2