遞歸函數

喺電腦科學當中，遞歸函數（μ-recursive functions）係一類由自然數到自然數嘅函數。