Spezielles Halteproblem (K)

Das spezielle Halteproblem $K$ ist die Menge aller Kodierungen von Turing-Maschinen, die auf ihrer eigenen Kodierung als Eingabe anhalten.

Eigenschaft: $K$ ist unentscheidbar, aber semi-entscheidbar.