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: Comp = Value + Error
• jetzt: Comp = State -> ( Value, State )

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