Motivation

bisherige Programme sind nebenwirkungsfrei, das ist nicht immer erwünscht:

• direktes Rechnen auf von-Neumann-Maschine: Änderungen im Hauptspeicher
• direkte Modellierung von Prozessen mit Zustandsänderungen ((endl.) Automaten)

Dazu muß semantischer Bereich geändert werden.

• bisher: Val, jetzt: State -> (State, Val)
  (dabei ist (A,B) die Notation für A×B)

Semantik von (Teil-)Programmen ist Zustandsänderung.