Semantik (Werte) von Ausdrücken

• Konstante: bezeichnet ,,sich selbst``
• Name (Variable): bezeichnet eine Speicherstelle, der Wert des Namens ist der Inhalt dieser Speicherstelle
• Ausdruck1 Operator Ausdruck2: Wert w₁ von Ausdruck1 berechnen, Wert w₂ von Ausdruck2 berechnen, dann Operator auf w₁ und w₂ anwenden, das Resultat ist der Wert des Ausdrucks

das ist (wie alles andere heute auch) eine induktive (rekursive) Definition.

(wo sind Induktionsanfang, Induktionsschritt? was ist der Induktionsparameter?)