Mathematische Grundlagen der Computerlinguistik II: Formale Sprachen und Automaten

(https://www.coli.uni-saarland.de/~saurer/lehre/ss00/mg2/mg2-ss00.html)
(This page is also available in English.)

Vorlesung mit Übung
Erster Studienabschnitt
Leitung: Werner Saurer

V Mo 14-16, Mi 13-14; Ü Mi 16-18
V: Gebäude 17.2, Seminarraum
Ü: Gebäude 17.2, Seminarraum
Beginn: Mi 12.04.2000

Inhalt

Die Vorlesung führt einerseits in die verschiedenen Sprach- und Grammatiktypen ein (reguläre, kontextfreie, kontextsensitive und Typ-0-Sprachen) und stellt andererseits die entsprechenden Typen abstrakter Automaten vor (von den endlichen Automaten bis zu den Turingmaschinen).

Besonderes Gewicht wird auf die Einübung in den praktischen und argumentativen Umgang mit den verschiedenen Formalismen gelegt.

Voraussetzungen/Bemerkungen

Mathematische Grundlagen der Linguistik I. Studenten, die diese Veranstaltung nicht besucht haben, empfehle ich dringend Rücksprache.

Stellung im Studienplan

Pflichtveranstaltung für CL-Diplom; zählt 5 Leistungspunkte.

Literatur

Partee, B., A. ter Meulen, R.Wall, Mathematical Methods in Linguistics. Dordrecht: Kluwer 1990.
Lewis, H.R./C.H. Papadimitriou, Elements of the Theory of Computation. New Jersey: Prentice Hall 1981.
Dazu gibt es noch ein Vorlesungsskript.

Prüfungsleistungen

Die Prüfungsleistung besteht aus zwei Klausuren von je 45 Minuten Länge. Die erste Klausur ist in der Mitte des Semesters, die zweite Klausur, zu der man sich anmelden muss, ist am Mittwoch, 5. Juli 2000. Anmeldefrist ist bis 20. Juni 2000.
(Siehe auch unter Klausurrichtlinien.)

Probeklausuren

Übung

Mi 16-18, Geb. 17, Seminarraum, EG; Beginn: 19.04.00.
Übungsblatt 1
Übungsblatt 2; Besprechung am Mi, 3.5.00.
Übungsblatt 3; Besprechung am Mi, 10.5.00.
Übungsblatt 4; Besprechung am Mi, 17.5.00.
Übungsblatt 5; Besprechung am Mi, 24.5.00.
Übungsblatt 6; Besprechung am Mi, 24.5.00.
Übungsblatt 7; Besprechung am Mi, 14.6.00.
Übungsblatt 8; Besprechung am Mi, 21.6.00.
Übungsblatt 9; Besprechung am Mi, 28.6.00.

Sprechstunde

Mi 14-15, Bau 17.2, Zi.1.08, Tel. 302-4177
E-mail Werner Saurer