Computer-Architektur nach von Neumann

frei adressierbarer Hauptspeicher, zur Erleichterung verwende nicht Adressen, sondern Namen.

Programm-zustand ist Speicherinhalt ($=$ Abbildung von Adressen auf Werte)

Und: Programm steht selbst im Speicher.

• Zuweisungen: Name := Ausdruck
• wobei Ausdruck: Konstante oder Name oder Operator mit Argumenten
• wobei Argument: Konstante oder Name
• Sprünge (unbedingte und bedingte)

Übung: was ändert sich, wenn man als Argument auch Ausdrücke gestattet?