Go backward to Semantics of Loops Go up to Top Go forward to Least Fixed Point Semantics

Recursive Function Definitions

• Function Definition

  q = lambda n. n equals zero ->one [] q(n plus one)

• Possible Function Graphs:
  • {(zero, one)}
    = {(zero, one), (one, _|_), (two, _|_), ...}
  • {(zero, one), (one, six), (two, six), ...}
  • {(zero, one), (one, k), (two, k), ...}

Several functions satisfy specification; which one shall we choose?