Inhalt der Vorlesung sind die Grundlagen der Theoretischen Informatik: Berechnungsmodelle, Determinismus und Nichtdeterminismus, Fragen der Berechenbarkeit, Komplexitätstheorie, NP-Vollständigkeit, Grammatiken, formale Sprachen.
Dozentin: Prof. Dr. Dorothea Wagner | Karlsruher Institut für Karlsruher Technologie (KIT), Institut für Theoretische Informatik
Vorlesungsaufzeichnung: http://webcast.kit.edu
01 |
0:00:00 Start
0:00:11 Endliche Automaten und Reguläre Sprachen
0:14:38 Nichtdeterministische endliche Automaten
0:21:06 Beispiel für NEA's
0:27:09 Äquivalenz von NEA's und DEA's
0:28:57 Beispiel Potenzmengenkonstruktion
1:11:43 Zusammenfassung