首页 · 时间轴 · 图灵机:计算的“最小模型”

图灵机:计算的“最小模型”

图灵机是一台极简的假想机器:一条纸带、一个读写头、一套规则。图灵证明,任何“能算的东西”都能被这样的机器算出来——它定义了“可计算”的边界。

图灵机可计算模型

一、一台极简机器

图灵机由一条无限长的纸带、一个能读写的头、一套“看到什么就做什么”的规则组成。它笨得可笑,却足够强大。

图灵机示意
关键一步:读写头在纸带上一步步移动。

二、纸带就是内存

纸带上的格子存着 0 和 1,相当于今天的内存;头的移动与改写,就是“计算”的过程。

三、万能机

图灵进一步证明:存在“通用图灵机”,它能读取别的机器的规则、模拟别的机器——这正是今天“通用计算机”的理论原型。

四、为什么重要

在电子计算机诞生前,图灵就用纸笔说清了“计算”的本质,为整个计算机学科打下了地基。

📚 资料来源与延伸阅读

  1. 《论可计算数》 艾伦·图灵(1936)— 提出“图灵机”这一计算的极小模型,奠定计算机科学的理论基石。
  2. 《艾伦·图灵传》(安德鲁·霍奇斯)— 权威传记,把数学、密码战与人生交织讲述。

本页内容依据公开史料与科学史通识编写;更多来源见 本站《资料来源与延伸阅读》。延伸检索:维基百科「艾伦·图灵」词条 ↗