图灵机

图灵机是一种理论计算模型，由英国数学家艾伦·图灵于1936年提出。它由一个无限长的纸带、一个读写头以及一套控制规则组成。纸带上可以写入和读取任意的二进制符号，读写头可以在纸带上左右移动，并根据控制规则进行操作。通过这些简单的组件，图灵机可以模拟任何可计算的函数，从而证明了计算机科学的基本概念和原理。图灵机被认为是现代计算机的基础，对计算机科学的发展产生了深远的影响。