primitive recursive function

function that can be computed with loops of bounded length

en-US/ˈpɹɪmətɪv ɹɪˈkɝsɪv ˈfʌŋkʃən/
en-GB/ˈpɹɪmɪtɪv ɹɪkɜːsɪv ˈfʌŋkʃn/

श्रेणियाँ:

μ-recursive function