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/MDULnZRMhco
* Skript: weitz.de/files/ti-skript.pdf
* Das Video im Playlist-Kontext: weitz.de/y/MDULnZRMhco?list=PL...
* Liste aller Videos: weitz.de/haw-videos/
* Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
* "FAQ": weitz.de/youtube.html
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.