Mathematik A für Informatikstudierende - Institut für Informatik

obigen impliziten Darstellung relativ leicht die Rekursion
⎧
⎪⎨
glog 2 (x) =
⎪⎩
0 falls x = 1
glog 2 ( x) + 1 falls x ≠ 1 und x gerade
2
glog 2 ( x−1 ) + 1 falls x ≠ 1 und x ungerade
2
zeigen, welche sofort zu einem funktionalen Programm führt. Aus der expliziten Definition
glog 2 (x) = max {y ∈ N | 2 y ≤ x}
der Funktion glog 2 , mit der Operation max wie oben eingeführt, bekommt man diese
Rekursion nicht so leicht.
30