『チューリングの計算理論入門 チューリング・マシンからコンピュータへ』

高岡詠子 著
講談社ブルーバックス
ISBN978-4-06-257851-6
コンピュータの基礎となるチューリングの計算理論に関して書かれた本。
トートロジー感あふるる説明で私にはよく分からなかったが、雑学本といえば雑学本か。
アルゴリズムを実行できるのがチューリング・マシンで、チューリング・マシンで実行できるのがアルゴリズム、みたいな。
雑学本として割り切るなら、ありかもしれない。
それでよければ、という本だろう。