primitive recursive function

function that can be computed with loops of bounded length

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

Категории:

μ-recursive function