Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Ausdrucksfähigkeit der Alg.-Modelle
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Berechenbarkeit und Entscheidbarkeit<br />
Frage: Gibt es Problemstellungen, für die kein<br />
<strong>Alg</strong>orithmus zur Lösung existiert?<br />
O<strong>der</strong>: Kann man alles berechnen bzw. programmieren?<br />
Berechenbarkeit:<br />
Eine Funktion f : N k → N heißt berechenbar, wenn es<br />
einen <strong>Alg</strong>orithmus gibt, <strong>der</strong> für Eingaben (x 1 , …, x k ) ∈ N k<br />
terminiert, d.h. in endlicher Zeit f(x 1, …, x k) berechnet.<br />
Die Menge dieser Funktionen entspricht allen jemals mit<br />
Computern berechenbaren Funktionen (CHURCH’sche<br />
These)<br />
245