+1 Daumen
134 Aufrufe

Aufgabe:

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

Zeigen Sie, dass L nicht entscheidbar ist.

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

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community