2 合理的计算模型[2]