Language & Information Lab.

Formalisierte Grammatiken 1

Neu: die Prüfungsanmeldung ist bis 26. Januar möglich.

Neu: Die Veranstaltung findet von 9-12 statt, vgl. Wochenplan

Zusatzinformationen zur Veranstaltung von Pius ten Hacken

[home ] [up ]
Auf dieser Seite:
[Beschreibung ] [Organisatorisches ] [Wochenplan ] [Weiterführende Literatur ]

Beschreibung

Techniken für die formelle Beschreibung von Sprachen spielen eine wichtige Rolle sowohl in der Anwendung von Computern für die Bearbeitung von natürlichen Sprachen, wie auch in der Definition und Benutzung von Programmiersprachen. Die Beschreibungen können die Form von regulären Ausdrucken, (generativen) Grammatiken oder Erkennungsautomaten haben.
In dieser Veranstaltung werden die zwei einfachsten Typen von Grammatiken und Automaten behandelt, die auch am häufigsten benutzt werden: die regulären oder finite-state und die kontextfreien Mechanismen. Der Schwerpunkt liegt auf Einsicht und praktischen Fähigkeiten (Übungen). Formelle Beweise werden nur behandelt, sofern sie zur Einsicht beitragen.
Die Veranstaltung besteht aus einem Vorlesungs- und einem Übungsteil. Im Vorlesungsteil wird die Theorie erklärt. Im Übungsteil werden die Hausaufgaben besprochen, die praktische Anwendungen der Theorie beinhalten.

Organisatorisches

Die Veranstaltung findet jeweils am Donnerstag, 9-12 Uhr, im Raum 206 im WWZ statt. Da in einigen Wochen keine Veranstaltung stattfinden kann, wird in den verbleibenden Wochen um 9:15 statt um 10:15 angefangen.
Die elektronische anmeldung für die Veranstaltung sollte über WISIS erfolgen.
Ein Script, das einen Ausdruck der in der Vorlesung benutzten Folien enthält kann beim Sekretariat Wirtschaftsinformatik (Frau Yudon Tsering, WWZ, Raum 302) bezogen werden.
Bei Fragen können Sie in die offene Sprechstunde des Dozenten kommen (ohne Anmeldung), oder einen Termin abmachen.
Die Prüfung findet am Donnerstag, 13. Februar, 10-12 statt. Die Anmeldung zur Prüfung ist ab sofort möglich. Sie wird vom Studiensekretariat WWZ organisiert und ist Bedingung zur Teilnahme. Das Bestehen der Prüfung ist Testatbedingung.

Wochenplan

Datum	Zeit	Themen
24.10.	10-12	Reguläre Ausdrücke & Grammatiken
31.10.	9-12	Reguläre Grammatiken
7.11.	9-12	Reguläre Grammatiken & Finite-State Automaten
14.11.	9-12	Finite State Automaten
21.11.	9-12	Finite State Transducers
28.11.	--	keine Veranstaltung
5.12.	--	keine Veranstaltung
12.12.	9-12	Kontextfreie Grammatiken
19.12.	9-12	Kontextfreie Grammatiken
26.12.	--	Weihnachtsferien
2.1.	--	Weihnachtsferien
9.1.	--	Informationstag neue Studierende
16.1.	9-12	Push-Down Automaten
23.1.	9-12	Abschluss
30.1.	--	keine Veranstaltung
6.2.	--	keine Veranstaltung
13.2.	10-12	Prüfung

Weiterführende Literatur

Als weiterführende und ergänzende Literatur wird empfohlen:

Partee, Barbara H.; ter Meulen, Alice & Wall, Robert E. (1990), Mathematical Methods in Linguistics, Kluwer Academic, Dordrecht.

Drobot, Vladimir (1989), Formal Languages and Automata Theory , Computer Science Press, Rockville (Maryland).

Diese Bücher eignen sich im Normalfall nicht als Ersatz der Vorlesung, da sie zum Teil die in der Vorlesung eingeführten Konzepte voraussetzen.

[home ] [up ]

13-Jan-2003 Pius ten Hacken