cranebird https://blog.hatena.ne.jp/cranebird/ cranebirdの日記 https://cranebird.hatenadiary.org/ いろいろ参考にしながら何とか NFA -> DFA の変換まで書いた。 状態とアルファベットを型変数とできた。また、集合は集合として Data.Set を使った。個人的に満足。 以下のような書き方ができることを知ったのが収穫。これが分からず、MultiParameterTypeClass とか ScopedTypeVariables とか、明後日の方向を調査していた。 class FA fa where states :: fa a b -> Set a ループと手続き型言語用に書かれたアルゴリズムを再帰に書き直す方法がいまいちうまくできていない。CL だと普通にloopマクロが使えるのだけど… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcranebird.hatenadiary.org%2Fentry%2F20120507%2F1336340334" title=" NFA -&gt; DFA(3) - cranebirdの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2012-05-07 06:38:54 rich https://cranebird.hatenadiary.org/entry/20120507/1336340334 1.0 100%