230011 Grammatikformalismen (S) (WiSe 2020/2021)

Dieses Seminar findet in diesem Semester anstelle des sonst regelmäßig angebotenen Seminars Kontextfreie Grammatiken statt. Empfohlen werden insbesondere Vorkenntnisse zu algebraischen Methoden der Linguistik, wie sie etwa in der Veranstaltung Formale Methoden 1 vermittelt werden.

Grammatikformalismen sind ein Mittel, sprachliches Wissen in computerlesbarer Form abzuspeichern und in computerlinguistischen Anwendungen verwendbar zu machen. Grammatikformalismen sind letztlich als eine Schnittstelle zwischen Mensch (meist Linguist*in) und Maschine gedacht, mit Tugenden aus beiden Welten: Transparenz und Intuitivität, mathematische Striktheit, Algorithmisierbarkeit, Ausdrucksstärke und computationelle Beherrschbarkeit. Mit dieser Mischung eignen sich Grammatikformalismen außerdem dazu, die oftmals sehr komplexen linguistischen Theorien zu formalisieren und zu überprüfen oder generelle Aspekte natürlicher Sprache(n), wie deren Komplexität, mit wissenschaftlicher Genauigkeit zu untersuchen.

Das bekannteste und wichtigste Beispiel für einen (syntaktischen) Grammatikformalismus sind sicherlich kontextfreien Grammatiken. In diesem Seminar wollen wir uns diesen Formalismus genauer ansehen hinsichtlich des Zusammenhangs mit

- Phrasenstrukturen (und syntaktischen Theorien)
- Formalen Sprachen (und der Komplexität natürlicher Sprache)
- Parsing (und der Anwendung bei der Satzanalyse)

Außerdem werden Erweiterungen und Alternativen thematisiert, die mit Blick auf die Intuitivität und Ausdrucksstärke weitere Verbesserungen versprechen.