Sprachen und Entscheidbarkeit (Theoretische Informatik)

Für welche Sprachen ist das sogenannte Wortproblem entscheidbar? Welche Abschlusseigenschaften haben rekursiv aufzählbare Sprachen?
* Das GANZ NEUE Buch: weitz.de/GDM/
* Das NEUE Buch: weitz.de/PP/
* KORREKTUREN: weitz.de/corr/M...
* Skript: weitz.de/files/...
* Das Video im Playlist-Kontext: weitz.de/y/MDUL...
* Liste aller Videos: weitz.de/haw-vi...
* Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
* "FAQ": weitz.de/youtub...
00:00 Kontextsensitive Sprachen sind entscheidbar
06:03 Entscheidbare Sprachen, die nicht kontextsensitiv sind
10:30 Abschlusseigenschaften rekursiv aufzählbarer Sprachen
Corrections:
09:55 Bitte beachten Sie die Korrekturhinweise in der Videobeschreibung.