Data.Set を排して唯のリストで書き換えている。骨格はこんな感じ。 Ord a 制約が不要となったため、オートマトンを Functor にできた。 α-遷移(文字による遷移)とε-遷移の扱いをシンプルに。 NFA から DFA への変換の際、何が起きているかよく理解しよう。…