ブルーバックス
チューリングの計算理論入門 チューリング・マシンからコンピュータへ
著：高岡詠子
電子版
内容紹介
本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、７大難問の一つ「P＝NP問題」についても、わかりやすく解説します。（ブルーバックス・2014年2月刊）
JP-eコード：0625785100100011000E
。出版社：講談社
。コンテンツ公開日：2015年03月13日。