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.
Nichtentscheidbare Probleme<br />
Jede nichttriviale semantische Eigenschaft von<br />
<strong>Alg</strong>orithmen ist nichtentscheidbar.<br />
Beispiele:<br />
Ist die berechnete Funktion total? Überall undefiniert?<br />
Injektiv? Surjektiv? Bijektiv? etc. etc.<br />
Berechnen zwei <strong>Alg</strong>orithmen dieselbe Funktion?<br />
Ist ein gegebener <strong>Alg</strong>orithmus korrekt, d.h., berechnet er<br />
die gegebene (gewünschte) Funktion?<br />
Im Einzelfall können Fragen entschieden werden! Es<br />
gibt aber keine allgemein Methode, also z.B. einen<br />
<strong>Alg</strong>orithmus <strong>der</strong> Korrektheit aller <strong>Alg</strong>orithmen nachweist.<br />
Auch einfache Fragestellungen können nicht<br />
entscheidbar sein: Post’sches Korrespondenzproblem<br />
260