さらに書き換えて、よりDFA,NFA の定義通りにして、よりHaskellらしくできた、つもり。 状態 State 型は型変数を取ることにした。これで文字からなる状態も、状態の対からなる状態も、 Data.Set 、つまり集合からなる状態も、同じように扱える。 同じく、文…