---

Geschrieben von Schraubendreher am 05.03.2018 um 12:28:

  Reduktion vom Halteproblem

Meine Frage:
Hallo liebe Leute,
bei der folgende Frage bin ich leider an meine Grenzen gestoßen. Ich hoffe jemand kann mir weiterhelfen.

J-Hello ist folgende Sprache:
J-Hello = {j | j ist Javaprogramm das "Hello World" ausgibt}

Zeigen Sie Mittels einer Reduktion von HP, dass J-Hello unentscheidbar ist.

Meine Ideen:
Bedauerlicherweise bin ich auf keien Ansatz gekommen. Ich weiß zwar was zu tun ist. Eine totale Funktion finden, welche jede Instanz von HP auf eine Instanz von J-Hello abbildet, aber für das Aussehen der Funktion habe ich keine Idee.