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