Formale Sprachen und Automaten
              
Vorlesung mit Übung
CIS, WS 2013/14

Hans Leiß

Vorlesung

Der Kurs stellt die Theorie der formalen Sprachen und ihrer maschinellen Analyse vor. Damit werden die Grundlagen für eine Beschäftigung mit maschineller Analyse natürlicher Sprachen gelegt. Behandelt werden:
  1. Reguläre Ausdrücke und endliche Automaten,
  2. Kontextfreie Grammatiken und ihre Normalformen,
  3. Bäume als syntaktische Strukturen,
  4. Erkennung kontextfreier Sprachen durch Kellerautomaten,
  5. Syntaxanalyse bzgl. kontextfreier Grammatiken,
  6. Chomskys Hierarchie formaler Sprachklassen,
  7. Un/Entscheidbare Probleme zu Grammatiken und formalen Sprachen.
Vorlesungsfolien: formaleSprachen.beamer.pdf (Oct 6, 2014 )

Tafelübung

Übungsaufgaben werden hier*) wöchentlich gestellt und sollten zu Hause bearbeitet werden. Abgabe der Lösung Do 14 Uhr in der Übungsstunde. Schwierigere Aufgaben werden dort besprochen.
  1. Aufgabenblatt-1.pdf
  2. Aufgabenblatt-2.pdf
  3. Aufgabenblatt-3.pdf
  4. Aufgabenblatt-4.pdf
  5. Aufgabenblatt-5.pdf
  6. Aufgabenblatt-6.pdf
  7. Aufgabenblatt-7.pdf
  8. Aufgabenblatt-8.pdf
  9. Aufgabenblatt-9.pdf
  10. Aufgabenblatt-10.pdf
  11. Aufgabenblatt-11.pdf
  12. Aufgabenblatt-12.pdf
*) Die Aufgaben der ersten Woche sind auf den Vorlesungsfolien zu finden.

Fragestunde

Mentorenstunde Do, 11-12, Oettingenstr.67, Raum C 110
Tutorenstunde: Di 12-14, Kaulbachstr.45, Raum 004. Tutor: Fedor Uvarov

Modulprüfung

Termin: letzte Semesterwoche, Do 6.2.2014, 14-16 Uhr Ort: Oettingenstr.67, U 139
Zweitprüfung (Nachklausur)
Termin: Wegen einer Kollision mit der Klausur ,,Datenbanken'' wird die die Klausur ,,Formale Sprachen'' verschoben auf:
Mo 14.4., 16-18 Uhr, Oettingenstr.67, Raum 061.
Anmeldemöglichkeit im LSF: 1.4.2014 - 10.4.2014

Literaturhinweise:
B.PARTEE/ A.ter MEULEN/ R.E.WALL
Mathematical Methods in Linguistics, Chap. 16 - 19, pp. 433 - 506. Reidel, 1988
N.MOLL/ M.ARBIB/ A.J.KFOURY
An Introduction to Formal Language Theory. Springer-Verlag, 1988
H.LEISS
Formale Sprachen und Automaten, Vorlesung WS 97/98. CIS-Bericht 97-109, 1997 (.pdf)
Voraussetzungen: Kurs über Mathematische Grundlagen der CL


File translated from TEX by TTH, version 3.67.
On 6 Oct 2014, 10:00.