Go backward to Least Fixed Point Semantics Go up to Top Go forward to Simplification |
fac(n) = n equals zero -> one
[] n times (fac(n minus one))
Only one function satisfies specification:
graph(factorial) =
{(zero, one), (one, one),
(two, two), (three, six),
..., (i, i!), ...}