Formale Methoden 3

Dafydd Gibbon

SoSe 2003 (Version: July 3, 2003 )

 
• Merkmale, Attribut-Wert-Paare
• Attribut-Wert-Strukturen (AW-Strukturen)
• Gerichtete azyklische Graphen und Relationen über AWS
• Gemeinsame Teilstrukturen, Unifikation
• Formale Grammatiken: Wiederholung und Erweiterung
• Formalismus und Interpretation
• Eine einfache KF-AVM-Grammatik
• Eine koindizierte KF-AVM-Grammatik
• Generalisierung, Differenz, Unifikation, Typ-Vererbung im Lexikon
• Standardannahmen, Überschreibung, Default-Unifikation, Default-Vererbung im Lexikon
• Eine AWM-basierte Grammatiktheorie: HPSG
• Literatur