31.12.2014 Aufrufe

9. Kapitel

9. Kapitel

9. Kapitel

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

Primitiv rekursive und partiell rekursive Funktionen<br />

Der Hauptsatz der Berechenbarkeitstheorie<br />

Der Hauptsatz der Berechenbarkeitstheorie<br />

Bemerkung:<br />

Wir nennen nun Turing-, WHILE-, GOTO-, ...-berechenbare und<br />

partiell rekursive Funktionen im Folgenden kurz berechenbare<br />

Funktionen.<br />

GOTO−berechenbar=<br />

WHILE−berechenbar=<br />

Turing−berechenbar=<br />

partiell rekursiv<br />

LOOP−berechenbar=<br />

primitiv rekursiv<br />

J. Rothe (HHU Düsseldorf) Informatik IV 42 / 42

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!