图灵机，又称图灵计算机，是由英国数学家艾伦・麦席森・图灵（Alan Mathison Turing）于1936年提出的一种抽象计算模型。它是将人们使用纸笔进行数学运算的过程进行抽象化，用一个虚拟的机器来代替人进行数学运算。

图灵机主要由以下几个部分组成：

1. 一条无限长的纸带，纸带被分成了一个个的小方格，每个方格有不同的颜色（通常是黑色和白色，分别代表1和0）。
2. 一个读写头，它可以在纸带上左右移动，并且可以读出和擦写纸带上的字符。
3. 一个状态寄存器，用于记录图灵机当前所处的状态。
4. 一系列有限的控制规则，这些规则决定了图灵机在给定状态下，读取某个字符后应该执行的操作，包括改写字符、移动读写头和转换状态等。

图灵机的运行过程可以看作是一种编程过程。在每个时刻，读写头都会从当前纸带上读入一个方格的信息，然后结合自己的内部状态查找控制规则，根据规则输出信息到纸带的方格上，并转换自己的内部状态，然后进行移动。这个过程会一直重复进行，直到图灵机达到某个终止状态或执行了无限次操作。

图灵机的概念在计算机科学中具有重要意义，它是现代计算机的基础之一。虽然实际的计算机硬件和软件与图灵机有很大的不同，但是图灵机的概念为我们提供了一种理解和描述计算过程的理论框架。此外，图灵机的概念还用于研究计算复杂性和可计算性等问题。