2. Imperative Programmierung und Berechenbarkeit ...
2. Imperative Programmierung und Berechenbarkeit ...
2. Imperative Programmierung und Berechenbarkeit ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
μ-Rekursion<br />
Erst mit dem unbeschränkten μ-Operator erhält man<br />
alle berechenbaren Funktionen.<br />
Sei g: N k+1 -> N partielle Funktion.<br />
i 0 , wenn g(i 0 ,x) = 0 ∧ ∀j < i 0 ( g(j,x) ≠ 0<br />
f(x) = μ (g(i,x)) = ∧ g(j,x) definiert)<br />
<strong>und</strong>efiniert sonst<br />
hs / fub - alp2-2 10