25.07.2013 Aufrufe

Vorlesung Theoretische Informatik II

Vorlesung Theoretische Informatik II

Vorlesung Theoretische Informatik II

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!