6.2 图灵机作为非负整数函数计算模型