Ausdrucksfähigkeit der Alg.-Modelle

Spezielles Halteproblem
h(x) entscheidet durch die Ausgaben ε oder a,
ob x∈dom ϕ x ist oder nicht.
x∈dom ϕ x bedeutet, dass ϕ x(x) definiert ist, und
dies wiederum heißt, dass der Algorithmus mit
Text x bei Eingabe von x irgendwann anhält.
Anwendung eines Algorithmus auf die eigene
Beschreibung.
Die Funktion h drückt die Frage aus:
„Hält ein Algorithmus irgendwann an, wenn man
ihm seinen eigenen Text eingibt?“
Diese Frage ist auch als spezielles
Halteproblem bekannt.
254