剧情简介：图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型，本书深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，附带了大量的历史背景资料、图灵的个人经历，以及图灵机对人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平以及他构建图灵机的思维过程的读者阅读。
外文名：The Annotated Turing:A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
作者：Charles Petzold
出版社：人民邮电出版社
ISBN：9787115282149
