Sprache L gegeben und zeigen, dass L nicht entscheidbar ist.

Question

Aufgabe:

Sei  L := {<M> | M ist eine Turingmaschine und L(M) ist endlich}.

Zeigen Sie, dass L nicht entscheidbar ist.

Comments

Formale Sprachen und Turingmaschinen wurden / werden der Übersichtlichkeit halber in der Stacklounge (Informatik) . Folge dem Link unter deiner Frage und logge gleich ein wie in der Mathelounge.

Tipp: In beiden Lounges findest du die Rubrik "ähnliche Fragen" unterhalb von deiner Frage. Lesen dort geht oft schneller als auf eine Antwort warten. Falls du unsicher bleibst, kommentiere deine Frage mit einem Antwortversuch bzw. Lösungsansatz

---

Verschiebung deiner Frage hat etwas gedauert. https://www.mathelounge.de/801910/sprache-l-gegeben-und-zeigen-dass-l-nicht-entscheidbar-ist?show=802173#c802173 Ich hoffe mein Kommentar im Link nützt bereits etwas.