Halteproblem auf leerem Band (H0)

Das Halteproblem auf leerem Band $H_{0}$ ist die Menge aller Turing-Maschinen, die ohne Eingabe (auf leerem Band) anhalten.

H_{0} := {w ∣ M_{w} hält auf Eingabe ϵ}

Eigenschaft: $H_{0}$ ist unentscheidbar (folgt aus $H \leq H_{0}$ ).