ich mit diesem Problem bin stecken{<M> | M TM, die 3 Wörter akzeptieren} (| L (M) | = 3)
{<M> | M ist ein TM, die 3 Wörter}
Ich weiß übernimmt, wie |L(M)|>3 oder |L(M)|<3 zu lösen, aber wenn es um |L(M)|=3 kommt, weiß ich nicht, wie es weitergeht!
Wie wäre es mit der Tatsache, dass | L (M) | = 3 bedeutet, dass | L (M) |> 2 UND | L (M) | < 4. Oder die Tatsache, dass mit | L (M) | = 3 und | L (M) |> 3 Sie entscheiden könnten | L (M) |> 2. Diese benutzen die Dinge, von denen du sagst, dass du weißt, wie es geht.
Und natürlich, wenn Sie den Satz von Rice verwenden dürfen, den Willem erwähnt hat, dann ist die Antwort ziemlich unmittelbar.
Was meinst du mit "Ich weiß, wie man löst | L (M) |> 3 etc.", sind diese nicht entscheidbaren Probleme als eine Schlussfolgerung von Rice Theorem. –
ja ich meinte, ich weiß, wie man beweist, dass es nicht entscheidbar ist .. –