Go backward to A Calculator Language Go up to Top Go forward to Observations

Evaluation Functions

• P: Program -> Nat^*

  Program mapped to list of outputs.

• S: Expr-sequence -> Nat -> Nat^*

  Expression sequence and content of memory cell mapped to list of outputs.

• E: Expression -> Nat -> Nat

  Expression and content of memory cell mapped to evaluation result.

• N: Numeral -> Nat

  Numeral mapped to natural number.