图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型,佩措尔德编著的《图灵的秘密:他的生平、思想及论文解读》深入剖析了图灵描述图灵机和可计算性的论文《论可计算数及其在判定性问题上的应用》。《图灵的秘密:
Charles Petzold