cranebird https://blog.hatena.ne.jp/cranebird/ cranebirdの日記 https://cranebird.hatenadiary.org/ オートマトンを勉強しよう。古典で基礎なので資料は山ほどある。だが基礎だから理解しているかというとそんなことはなかったので、手を動かした。http://www.sakabe.nuie.nagoya-u.ac.jp/~sakai/lecture/automata/ オートマトン・形式言語および演習より。以下のように実装した。 集合はリストで表す 状態はキーワード(:q0, :q1, etc)で表す 遷移関数は新しい状態を返す２引数関数（状態とアルファベット） 関数 make-dfa は引数なし関数を生成する。 関数 run-dfa は 文字を消費しつされるまで繰り返し DFA を実行。状態が受理状… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcranebird.hatenadiary.org%2Fentry%2F20110110%2F1294617521" title=" DFA 決定性有限オートマトン - 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 2011-01-10 08:58:41 rich https://cranebird.hatenadiary.org/entry/20110110/1294617521 1.0 100%