Beispiele Denotationale Semantik

• jeder arithmetische Ausdruck (aus Konstanten und Operatoren)

  beschreibt eine Zahl

• jeder aussagenlogische Ausdruck (aus Variablen und Operatoren)

  beschreibt eine Funktion (von Variablenbelegung nach Wahrheitswert)

• jeder reguläre Ausdruck

  beschreibt eine formale Sprache

• jedes rekursive definierte Unterprogramm

  beschreibt eine Funktion (?)