Der Kurs "Formale Methoden 3: Unifikation" wendet sich vornehmlich, aber nicht ausschließlich an Studierende des BA Linguistik im Hauptfach, die das Profil "Sprache" oder das Profil "Texttechnologie" wählen.
Im Zentrum des Kurses stehen Attribut-Wert-Strukturen (AWS). Dies sind matrixartige Strukturen, die formal als gerichtete azyklische Graphen betrachtet werden können. Insbesondere die Relation der Subsumtion und die Operation der Unifikation zwischen/auf Atrribut-Wert-Strukturen werden eingeführt und die Anwendung in Unifikationsgrammatiken vorgestellt. Der Kurs schließt an den Kurs "Formale Methoden I" an.
Für einen Leistungsnachweis ist eine Klausur erfolgreich zu bearbeiten.
Frequency | Weekday | Time | Format / Place | Period |
---|
Date | Time | Format / Room | Comment about examination |
---|
Show passed examination dates >>
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2 | 0/3 | |||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 0/3 |