部分递归函数的英文翻译

中文：部分递归函数