\begin{slide}{Beispiel: Semantik von Unterprogr.}

Unterprogramme definiert durch Gleichungssysteme.
Sind diese immer eindeutig lösbar?

Geben Sie geschlossenen arithmetischen Ausdruck für:
\begin{verbatim}
f (x) = if x > 52 
        then x - 11 
        else f (f (x + 12))

t (x, y, z) = 
  if x <= y then z + 1 
  else t ( t (x-1, y, z) 
         , t (y-1, z, x) 
         , t (z-1, x, y) )
\end{verbatim}


\end{slide}
