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.
Das Halteproblem• Die Lösung des Halteproblems wäre von großem wirtschaftlichen Nutzen:– Es könnte viel Rechenzeit gespart werden.– Die Anwender wären zufriedener, weil sie sich nie mehr fragenmüssten, „ob da jetzt noch einmal etwas passiert“.• Man könnte daher vermuten, dass weltweit zahlreiche Menschen daranarbeiten, ein Programm zur Lösung des Halteproblems zu entwickeln.• Falls das so wäre, würden sie ihre Arbeitszeit verschwenden, denn dasHalteproblem ist unentscheidbar, d.h. es kann kein entsprechendesProgramm geben.• Anders ausgedrückt: Die Funktion, die true ausgibt, wenn ein Programmfür eine gegebene Eingabe hält, und false sonst, ist nichtberechenbar.14.8