Primitive recursive function: Difference between revisions

Revision as of 16:32, 7 December 2001

Revision as of 16:33, 7 December 2001

Line 4:

which we call "[[computatable functions|computable]]" -- see [[Equivalence of models of computation]]).

=== Definition ===

Line 41 ⟶ 45:

=== Example primitive recursive functions ===

Line 57 ⟶ 61:

=== Primitive recursive functions are a subset of the recursive functions ===