Definition 8.2.5: a function is primitive recursive if:
(1) it is an initial function, or
(2) it is obtained from primitive recursive functions by either composition or primitive recursion.
Definition 8.2.6: a function is (partial) recursive if:
(1) it is an initial function, or
(2) it is obtained from recursive functions by either composition, primitive recursion, or minimalization.
Previous slide | Next slide | Back to first slide | View graphic version |