●チューリングの計算理論入門：No. 5320 2015.07.20

高岡詠子著「チューリングの計算理論入門
チューリング・マシンからコンピュータ」
（ISBN978-4-06-257851-6 C0255）
を読んだ。
コンピュータの原理が発想された
その核心的なところを示している。
チューリングマシーンや
オートマトンなどもある。
計算可能性やN＝PN問題も
そこにはあることが示している。