Go backward to Recursive Function Definitions Go up to Top Go forward to The Factorial Function

Least Fixed Point Semantics

Theory that establishes meaning of recursive specifications:

1. Guarantees that every specification has a function satisfying it.
2. Provides means for choosing the "best" function out of the set of possibilities.
3. Ensures that the selected function corresponds to the conventional operational treatment of recursion.

   Argument is mapped to defined answer iff simplification of the specification yields a result in a finite number of recursive invocations.