Go backward to Observations Go up to Top Go forward to Simplification

S Rule

S[[E TOTAL S]]

• Calculator actions:
  1. Evaluate [[E]] using cell n producing value n'.
  2. Print n' on the display.
  3. Place n' into the memory cell.
  4. Evaluate the rest of sequence [[S]] using the cell.
• Representation in semantic equation
  1. E[[E]](n) is bound to variable n',
  2. n' cons ...
  3. and 4. S[[S]](n')

However right-hand side of equation is a mathematical value!