阿兰·图灵提出的图灵机是一种理论模型，它在计算机科学中具有重要的地位。以下关于图灵机的描述中，哪一项是正确的？A. 图灵机是一种可以进行任意计算的物理机器。B. 图灵机是一个抽象的数学模型，用于研究计算的可行性。C. 图灵机是现代计算机的直接前身。D. 图灵机只能处理有限数量的数据。

本题主要考察对图灵机基本概念的理解，需明确图灵机的定义、性质及在计算机科学中的定位。

选项A分析

图灵机是抽象数学模型，而非“物理机器”。物理机器具有实体形态，而图灵机是理论上的计算模型，用于模拟计算过程，不涉及实际物理硬件。因此A错误。

选项B分析

图灵机的核心定位是“抽象数学模型”，其提出的初衷是研究“什么是可计算的”（即计算的可行性）。图灵通过该模型形式化地定义了“算法”和“可计算函数”，成为计算机科学中计算理论的基础。因此B正确。

选项C分析

图灵机是现代计算机的理论基础，但并非“直接前身”。现代计算机的直接前身是电子管计算机（如 EN ENIAC），图灵机是更抽象的理论模型，未直接演化成实际硬件。因此C错误。

选项D分析

图灵机的存储结构（无限长纸带）和计算过程（理论上可无限运行）使其能处理潜在无限的数据，只要纸带空间允许（理论上无限制）。“只能处理有限数据”的描述不符合图灵机的设计。因此D错误。