アルゴリズム

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

高岡詠子
講談社

第1章 人間にとっての計算

第2章 機械に計算をさせようという試み

第3章 オートマトンとチューリング・マシン

第4章 決定問題

第5章 万能チューリング・マシン

第6章 計算量の話

第7章 コンピュータへの道のり