图灵计算理论背景概述（1/2）