图灵机程序 是由一组固定程序控制的虚拟机器。它由英国数学家艾伦·麦席森·图灵于1936年提出，用于模拟人类使用纸笔进行数学运算的过程。图灵机主要由以下几个部分组成：
纸带：
无限长的纸带，分成多个小方格，每个方格可以存储一个数字或符号。
机器头（读写头）：
可以在纸带上移动，读取和写入方格中的信息，并根据内部状态查找程序表来决定下一步的操作。
内部状态：
图灵机有一组内部状态，用于记录机器的当前状态。
程序：
图灵机根据一组固定的程序进行工作，这些程序决定了机器在每一个时刻应该执行的操作。
图灵机的工作过程可以描述为：
读取当前纸带内容及其状态。
结合内部状态查找程序表。
根据程序输出信息到纸带方格上，并转换内部状态。
移动机器头到下一个位置。
图灵机的一个重要特性是它的 通用性，即可以构造出一个特殊的图灵机（通用图灵机），它能够模拟任意一个图灵机的运作。这意味着现代电子计算机实际上就是通用图灵机的一种模拟，能够接受一段描述其他图灵机的程序，并运行该程序实现其描述的算法。
总结来说，图灵机程序是由一组固定程序控制的虚拟机器，用于模拟人类进行数学运算的过程，并且具有通用性，可以模拟任何可计算的算法。