Die Betreuung des Seminars geschieht über Adobe Connect. Es werden zudem 1-2 kürzere Präsenzphasen von 2 Tagen eingeplant. Die Implementierung kann in Java, C++ oder Python realisiert werden.
In diesem Kurs werden die Grundlagen für das Arbeiten mit formalen Berechnungsmodellen gelegt. Es werden hierzu formale Sprachen auf Grundlage der Chomsky Hierarchie untersucht. Zu jeder Klasse in der Chomsky Hierarchie wird ein abgeleitetes Berechnungsmodell vorgestellt und diskutiert (Endlicher Automat, Kellerautomat, Turingmaschine). In diesem Zusammenhang werden unter anderem folgende Themen behandelt: Minimierung Endlicher Automaten, Überführung von Regulären Ausdrücken, Äquivalenz von kontextfreien Grammatiken und Kellerautomaten, Beweis und Anwendung des Pumpinglemmas (regulär und kontextfrei), Wortproblem für kontextfreie Sprachen, und anderes.
Lernumgebung zum Kurs 1870 "Informationsvisualisierung im Internet" im Wintersemester 2018/19
Lernumgebung zum Kurs 1873 "Daten- und Dokumentenmanagement im Internet" im Wintersemester 2018/19