Μ-재귀 함수

Also known as general recursive function, recursive function, partial recursive function, μ-recursive functions

자연수에서 자연수로의 계산 가능한 부분 함수