Beispiel: Semantik von Unterprogr.

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

Geben Sie geschlossenen arithmetischen Ausdruck für:

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) )