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

チューリング・マシンからコンピュータへ　 ブルーバックス