Die Veranstaltung behandelt schwerpunktmäßig die Themen Mengen- und Strukturtheorie, 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.
Frequency | Weekday | Time | Format / Place | Period | |
---|---|---|---|---|---|
weekly | Mi | 14-16 | H4 | 16.10.2006-09.02.2007 |
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2 | 2. | 0/3 | ||
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2NF | 0/3 | |||
Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | Einführung | Wahlpflicht | 3 | |||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 2. | 0/3 |