Frage:

Die Aufgabenstellung ist die folgende:

Das spezielle Halteproblem ist die Sprache: LHS = {code(T) ∈ {0, 1} ∗ | T angesetzt auf code(T) hält.}.

a) Was sagt diese Reduktion LHS <= LH über die Entscheidbarkeit von LHS aus?

Lösungsversuch:

Meine Frage wäre, stimmt jetzt meine Schlussfolgerung?

Meine Schlussfolgerung: Ich weiss das LH semi-entscheidbar ist. Ich würde jetzt sagen, ich kann sagen, dass LHS und mindestens Semi-entscheidbar ist. Ich kann mit dieser Reduktion jedoch nicht sagen ob entscheidbar ist.