Go backward to Recursive Function Definitions Go up to Top Go forward to The Factorial Function |
Theory that establishes meaning of recursive specifications:
Argument is mapped to defined answer iff simplification of the specification yields a result in a finite number of recursive invocations.