実際に動くコードなのでわかりやすい

オートマトンとチューリングマシンを知りたくて購入しました。

実際に書いて、
実行できることで形式言語でよく書かれているグラフが何を意味しているのかがイメージしやすくなりました。


他にif文を一切使わず、
ラムダ計算でif文を再現するコードは本当にif文を使わずに動作したのは感動しました。