图灵机是一种抽象的计算模型，而不是指具体的物理机器