アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで の感想

※サンプル画像 クリックで拡大します

オートマトンとチューリングマシンを知りたくて購入しました。
実際に書いて、実行できることで形式言語でよく書かれているグラフが何を意味しているのかがイメージしやすくなりました。

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