計算機がどう動くかの基礎を学ぶための良書

プログラマであれば一度は決定性有限オートマトン、
チューリングマシン、
ラムダ計算といった単語に触れたことがあるのではないかと思います。
しかしそういったトピックについて「きちんと」学んだことがある人はそう多くはないのではないでしょうか。

この書籍は極めてわかりやすい話からスタートし、
実際に動くプログラムを書きながら、
多くのプログラマにとって近くて遠い話題への理解を深めさせてくれます。
コンピューティングの抽象とはどのように積み上げられたものなのか、
一冊読み終える頃にはひととおりの展望が開けることは間違いありません。


ラムダ計算とは何なのかについて知らないけど勉強するのは大変そうだし、
というコンプレックスを解消するのに最適の本です。
保証します。