图灵机模型与现代计算机演化,