0

Hallo zusammen,

Warum ist die folgende Sprache erkennbar aber nicht entscheidbar? Verstehe ich nicht ganz ich dachte es sei entscheidbar, da man einen String mit der Länge 2021 finden kann.

L1 = { | M is a TM and M halts on all inputs of length at most 2021}

Vielen Dank!

Sayuri

Diese Frage melden
gefragt

Student, Punkte: 64

 

finde mal bitte heraus ob mit regognizable semi/co-semi entscheidbarkeit gemeint ist bzw. was davon die bedeutung ist dann kann ich dir bestimmt helfen.

  ─   carlos 24.06.2021 um 22:02
Kommentar schreiben
0 Antworten