チューリングの計算理論入門

チューリングの計算理論入門　チューリング・マシンからコンピュータへ (ブルーバックス)

そもそもコンピュータってなんだっけ、計算ってなんだっけ、チューリングマシンってなんだっけ、というあたりを整理したくて手を出した。

もちろん学生の頃にチューリングマシンの話は聞いているのだが、普段ここまで考えないからなあ。

万能チューリングマシンの動きを非常に細かく記載しているのが面白かった。