6.1.2 自然计算的类型