cranebird https://blog.hatena.ne.jp/cranebird/ cranebirdの日記 https://cranebird.hatenadiary.org/ オートマトンの続き。先に書いた例は簡潔だけど、状態遷移関数に相当するものがパターンマッチの中に埋め込まれている。このままでは、オートマトンを新しく定義するためには Eval が必要になる、ように思える。Eval を使うのはたぶん良くない。 しばらく考えて遷移をデータ型にしてみることにした。 module Fa where import System.Environment data State = State String deriving (Eq, Show) type Symbol = Char type Alphabet = [Symbol] data Transition = Tran… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcranebird.hatenadiary.org%2Fentry%2F20120401%2F1333249268" title=" Haskell でオートマトン(2) - 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-04-01 12:01:08 rich https://cranebird.hatenadiary.org/entry/20120401/1333249268 1.0 100%