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, sowie an Studierende des BA Texttechnologie im Nebenfach.
Im Zentrum des Kurses stehen Attribut-Wert-Strukturen. 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 1" an.
Für einen Leistungsnachweis ist eine Klausur erfolgreich zu bearbeiten.
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum |
---|
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Einschreibung bis SoSe 2011) | Kernfach | BaLin2 | 0/3 | |||
Texttechnologie / Bachelor | (Einschreibung bis SoSe 2011) | Nebenfach | BaLin2 | 0/3 |