|
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.
|
|