Formale Methoden I

Veranstaltungsnummer: 230105 [eKVV]
Veranstaltungsart: Vorlesung (BA-Studiengang)
Zeit: Mittwoch, 14-16h
Raum: H13

Gerhard Jäger
Büro: C5-240
Sekretariat: C5-237 (Henrike Wanke)

Kursbeschreibung

Die Veranstaltung behandelt schwerpunktmäßig die Themen Mengentheorie, formale Grammatiken und Automaten.

Das erste Thema bildet eine wesentliche Grundlage für alle im Modul Formale Methoden behandelten Beschreibungs- und Modellierungsverfahren. Mit der Theorie formaler Grammatiken ist ein erster Ansatzpunkt dafür gegeben, wie man Sprachproduktion mit Hilfe formaler Systeme erfassen kann. Die Automatentheorie leistet Analoges für die Sprachrezeption. 

Klausurergebnisse
Nachschreibklausurergebnisse

Die Homepage der Tutorien ist hier.

Semesterplan

Datum Thema Literatur
17.10.2007 Vorbesprechung
24.10.2007 Mengenlehre: Grundlagen PtMW, Kapitel 1
31.10.2007 Mengenlehre: Grundlagen/Relationen und Funktionen PtMW, Kapitel 1/2
07.11.2007 Mengenlehre: Relationen und Funktionen PtMW, Kapitel 2
14.11.2007 Mengenlehre: Relationen und Funktionen PtMW, Kapitel 3
21.11.2007 Mengenlehre: Ordnungsrelationen
 PtMW, Kapitel 3
28.11.2007 Formale Sprachen: Grundlagen PtMW, Kapitel 16
05.12.2007 Bäume, Konstituentenstruktur (Folien im pdf-Format) PtMW, Kapitel 16
12.12.2007 Bäume, Chomsky-Hierarchie PtMW, Kapitel 16
19.12.2007 Probeklausur (mit Musterlösungen) PtMW, Kapitel 1-3, 16
26.12.2007 [Weihnachtspause]
02.01.2008 [Weihnachtspause]
09.01.2008 Endliche Automaten Schö, Kapitel 1.2
16.01.2008 Reguläre Ausdrücke Schö, Kapitel 1.2
23.01.2008 Pumping-Lemma für reguläre Sprachen
 PtMW, Kapitel 17
30.01.2008 Kontextfreie Sprachen PtMW, Kapitel 18
06.02.2008 Klausur PtMW, Kapitel 1-3, 16-18

Module:

BaLinM2; BaLinK2.1

Literatur: