Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Modul: Formale Sprachen und Automaten in der Computerlinguistik


Das hier aufgeführte Modul basiert auf in den Amtlichen Bekanntmachungen der Universität Potsdam veröffentlichten Studien- und Prüfungsordnungen.
Verbindliche Regelungswirkung haben nur die veröffentlichten Ordnungen.


LIN-BS-023: Formale Sprachen und Automaten in der Computerlinguistik Anzahl der Leistungspunkte (LP):
6 LP
Modulart (Pflicht- oder Wahlpflichtmodul): Abhängig vom Studiengang (siehe unten)
Inhalte und Qualifikationsziele des Moduls:

Inhalte
Die Vorlesung bietet einen vertiefenden Überblick über die formalen Grundlagen der Sprachverarbeitung. Dabei wird, im Brückenschlag zur theoretischen Informatik einerseits und zur Linguistik andererseits, die Theorie der formalen Sprachen und der Automaten betrachtet als Grundpfeiler der Regelgestützten Verarbeitung von Sprache. Dabei warden folgende Themenbereiche behandelt:
- Reguläre Sprachen, reguläre Mengen und Typ-3 Sprachen; Pumping-Lemma. Endliche Automaten: Abgeschlossenheitseigenschaften und Äquivalenztransformationen. Reguläre Relationen und endliche Transduktoren.
- Kontextfreie Grammatiken, kontextfreie Sprachen und ihre Abgeschlossenheitseigenschaften, Chomsky-Normalform; Pumping-Lemma. Kellerautomaten und Kellertransduktoren.
Weiterhin werden auch Fragen der Lernbarkeit von Sprache behandelt, in mathematischer Betrachtung im Rahmen der Lerntheorie. Daran schließen Fragen der automatischen Optimierung an, die die Grundlage von Lernalgorithmen ist.


Qualifikationsziele
Die Studierenden sind mit den vier grundlegenden Sprachklassen der Chomsky-Hierarchie und mit den wesentlichen Abgeschlossenheits- und Komplexitätsfragen dieser Klassen vertraut. Darüber hinaus haben die Studierenden Erfahrung gewonnen in der abstrakt- mathematischen Formalisierung von Fragen der Sprachverarbeitung.

Modul(teil)prüfungen (Anzahl, Form, Umfang, Arbeitsaufwand in LP):

Eine Prüfung der folgenden Formen:

Klausur, 90 Minuten

Hausarbeit, ca. 10 Seiten

Projektarbeit, ca. 10 Seiten

Selbstlernzeit (in Zeitstunden (h)): 150

Veranstaltungen
(Lehrformen)
Kontaktzeit
(in SWS)
Prüfungsnebenleistungen
(Anzahl, Form, Umfang)
Lehrveranstaltungsbegleitende Modul(teil)prüfung
(Anzahl, Form, Umfang)
Für den Abschluss des Moduls Für die Zulassung zur Modulprüfung
Computerlinguistik (Vorlesung und Übung) 2

Moderation einer Sitzung (45-90 Minuten) oder wöchentliche Übungsaufgaben (60%) oder Projektarbeit (8-10 Seiten)

- -

Häufigkeit des Angebots:

SoSe

Voraussetzung für die Teilnahme am Modul:

Das Bestehen des Moduls LIN-BS-010 und LIN-BS-016 wird dringend empfohlen.

Anbietende Lehreinheit(en): Linguistik
Zuordnung zu Studiengängen Modulart
Bachelor of Science Computerlinguistik WiSe 2017/18 Pflichtmodul
Bachelor of Science Linguistik WiSe 2017/18 Wahlpflichtmodul