Reduktion vom Halteproblem |
05.03.2018, 12:28 | Auf diesen Beitrag antworten » |
Schraubendreher | 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. |
|
|