Vorlesung Theoretische Informatik II
Vorlesung Theoretische Informatik II
Vorlesung Theoretische Informatik II
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Ackermann-Funktion<br />
Definition 12.3 (Ackermann-Funktion A)<br />
⎧<br />
⎨<br />
A0(x) =<br />
⎩<br />
An+1(0) = 1<br />
1 falls x = 0<br />
2 falls x = 1<br />
x + 2 sonst<br />
An+1(x + 1) = An(An+1(x))<br />
A(x) = Ax(x)<br />
B. Beckert – <strong>Theoretische</strong>n <strong>Informatik</strong> <strong>II</strong>: WS 2007/08 158 / 175