Die Veranstaltung behandelt schwerpunktmäßig die Themen Mengentheorie, formale Grammatiken und Automaten.
Das erste Thema bildet eine wesentliche Grundlage für alle im Modul Formale Methoden behandelten Beschreibungs- und Modellierungsverfahren. Mit der Theorie formaler Grammatiken ist ein erster Ansatzpunkt dafür gegeben, wie man Sprachproduktion mit Hilfe formaler Systeme erfassen kann. Die Automatentheorie leistet Analoges für die Sprachrezeption. Als Verallgemeinerung von formalen Grammatiken und Automaten werden abschließend Input-Output-Systeme behandelt.
Die 3 Leistungspunkte sind durch die erfolgreiche Bearbeitung der Abschlußklausur zu erwerben.
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Mi | 18-20 | Unpublished | 11.10.2004-04.02.2005 |
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2 | 0/3 | |||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
Mediengestaltung / Bachelor | (Enrollment until SoSe 2004) | TB6 | 5. | ||||
Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | ||||||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 0/3 |