Partielle Berechenbarkeit
Partielle Berechenbarkeit
Partielle Berechenbarkeit
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
<strong>Partielle</strong> <strong>Berechenbarkeit</strong>• Wie gerade geschildert, gibt es Techniken, die in der Lage sind,automatisch Beweise über Programmeigenschaften zu führen.• D.h. man kann mitunter für einen speziellen Algorithmus mithilfe einesProgramms nachweisen, dass er total korrekt ist.• Wie aber stellt sich in diesem Zusammenhang die Unentscheidbarkeitdar?• Oder anders ausgedrückt: Welche Eigenschaften haben Algorithmen, dieversuchen, nichttriviale Eigenschaften von Programmen nachzuweisenbzw. unentscheidbare Probleme zu lösen?• In diesem Kontext spielt der Begriff der partiellen <strong>Berechenbarkeit</strong> einewichtige Rolle.14.40