6.2.1 计算理论