\begin{slide}{Beispiele Denotationale Semantik}

  \begin{itemize}
  \item jeder arithmetische Ausdruck (aus Konstanten und Operatoren)

    beschreibt eine Zahl
  \item jeder aussagenlogische Ausdruck (aus Variablen und Operatoren)

    beschreibt eine Funktion (von Variablenbelegung nach Wahrheitswert)
  \item jeder reguläre Ausdruck

    beschreibt eine formale Sprache
  \end{itemize}


\end{slide}
