Berechnung jenseits kontextfreier Sprachen?
Channel: Prof. Markus
Date: 04/01/2021

Typ-2-Sprachen haben wir mit Kellerautomaten erkannt. Für Sprachen von Typ 1 oder Typ 0 müsste man die noch stärker machen, aber wie könnte das gehen? Wir tragen vielerlei Ideen zusammen und fragen, wohin das alles führt. Die Antwort wird lauten: zur Turingmaschine.

► Playliste für diesen Videokurs: https://www.youtube.com/playlist?list=PLz7XhF-sAU8yRZCCwRqqphYXC5IFA-hUy
► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/FS2020 (17. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung:  https://iccl.inf.tu-dresden.de/web/Formale_Systeme
► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/FormaleSysteme