Additional Primitive Recursive Forms
Some additional forms of recursion also define functions that are in fact primitive recursive. Definitions in these forms may be easier to find or more natural for reading or writing.
Course-of-values recursion defines primitive recursive functions.
Some forms of mutual recursion also define primitive recursive functions.
Read more about this topic: Primitive Recursive Function
Famous quotes containing the words additional, primitive and/or forms:
“The world will never be long without some good reason to hate the unhappy; their real faults are immediately detected, and if those are not sufficient to sink them into infamy, an additional weight of calumny will be superadded.”
—Samuel Johnson (1709–1784)
“The mountainous region of the State of Maine stretches from near the White Mountains, northeasterly one hundred and sixty miles, to the head of the Aroostook River, and is about sixty miles wide. The wild or unsettled portion is far more extensive. So that some hours only of travel in this direction will carry the curious to the verge of a primitive forest, more interesting, perhaps, on all accounts, than they would reach by going a thousand miles westward.”
—Henry David Thoreau (1817–1862)
“Psychoanalysis can unravel some of the forms of madness; it remains a stranger to the sovereign enterprise of unreason. It can neither limit nor transcribe, nor most certainly explain, what is essential in this enterprise.”
—Michel Foucault (1926–1984)