图灵机（Turing Machine）是由英国数学家艾伦·图灵在1936年提出的概念，被认为是计算机科学中的一个重要里程碑。它是一种抽象的计算模型，用于描述一种能够模拟任何现代计算机算法的理论设备。
图灵机的基本构成包括一个无限长的纸带，纸带上划分了一系列的格子，每个格子可以存储一个符号。机器在纸带上移动，并根据指令集对存储在格子上的符号进行操作。这种操作可以包括读取、写入、移动纸带以及改变其内部状态。
图灵机的精髓在于它展示了一种普适计算的概念，即所有现代计算机都可以通过图灵机来模拟。这意味着，只要某个问题可以在图灵机上得到解决，那么它也可以在任何现代计算机上解决。
图灵机对计算机科学的发展产生了深远的影响。它为理论计算机科学的研究奠定了基础，同时也为计算机的设计与开发提供了指导。无论是计算机程序的编写，还是算法的设计，都离不开图灵机这个抽象模型。