Formale Sprachen und Automaten
              
Vorlesung mit Übung
CIS, WS 2014/15

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: (vom WiSe 13/14) formaleSprachen.beamer.pdf
formaleSprachen.beamer.pdf (Feb 26, 2015 )

Tafelübung

Übungsaufgaben werden hier*) wöchentlich gestellt und müssen(!) zu Hause bearbeitet werden. Abgabe der Lösung Do 14 Uhr in der Übungsstunde. Schwierigere Aufgaben werden dort besprochen.
  1. Aufgabenblatt-1.pdf oder die Aufgaben auf der Folie
  2. Aufgabenblatt-2.pdf
  3. Aufgabenblatt-3.pdf
  4. Aufgabenblatt-4.pdf (Bin leider erst Sa dazu gekommen, die Aufgaben zu stellen)
  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

Modulprüfung

Termin: letzte Semesterwoche, Do 29.1.2015, 14-16 Uhr
Ort: Oettingenstr.67, 115
Korrektureinsicht: 12.2.2015, 13-14 Uhr, Oettingenstr.67, 123
Zweitprüfung (Nachklausur): Mi, 4.3.2015, 14-16 Uhr, Oettingenstr.67, Raum 123. Anmeldung im LSF.

Korrektureinsicht: Do, 12.3.2015, 14 Uhr, Raum C110, Oettingenstr.67


Literaturhinweise:
B.PARTEE/ A.ter MEULEN/ R.E.WALL
Mathematical Methods in Linguistics, Chap. 16 - 19, pp. 433 - 506. Reidel, 1988
ELAINE RICH
Automata, Computability, and Complexity, Pearson/Prentice Hall 2008
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 26 Feb 2015, 17:02.