SS 2012: Automaten und Formale Sprachen - Folien und Übungsblätter

Folien

  • Vorlesung 1 — Organisatorisches, Einführung, Mathematische Grundlagen und formale Beweise
    Folien (2x2), Notizen
  • Vorlesung 2Formale Beweise (Fortsetzung), Sprachen und Grammatiken
    Folien (2x2), Notizen
  • Vorlesung 3Grammatiken (Fortsetzung), Chomsky-Hierarchie, deterministische endliche Automaten
    Folien (2x2), Notizen
  • Vorlesung 4Umwandlung DFA → reguläre Grammatik, nicht-deterministische endliche Automaten
    Folien (2x2), Notizen
  • Vorlesung 5Reguläre Ausdrücke, Pumping-Lemma
    Folien (2x2), Notizen
  • Vorlesung 6 Pumping-Lemma (Fortsetzung), Erkennungsäquivalenz, Myhill-Nerode-Äquivalenz, Minimalautomaten
    Folien (2x2), Notizen
  • Vorlesung 7Abschlusseigenschaften und Algorithmen, Demo Programmverifikation
    Folien (2x2), Notizen, Programmverifikation-Demo
    Grail: Webseite; Binaries: DOS/Windows, Linux (32-bit).
  • Vorlesung 8Kontextfreie Grammatiken, Syntaxbäume und Eindeutigkeit, Chomsky-Normalform, CYK-Algorithmus
    Folien (2x2), Notizen
  • Vorlesung 9Das Pumping-Lemma für kontextfreie Sprachen, Kellerautomaten
    Folien (2x2), Notizen
  • Vorlesung 10Kellerautomaten (Fortsetzung)
    Folien (2x2), Notizen
  • Vorlesung 11 Abschlusseigenschaften von und Algorithmen für kontextfreien Sprachen, deterministische Kellerautomaten, JavaCC
    Folien (2x2), Notizen, JavaCC-Quellcode

Alle Folien

Folien (2x2), Notizen

Slides in English

Übungsblätter

  • Übungsblatt 1: [pdf]
    Exercise Sheet 1: [pdf]
    Datum / Date: 16.04.2012
    Abgabe / Submission: 23.04.2012
  • Übungsblatt 4: [pdf]
    Exercise Sheet 4: [pdf]
    Datum / Date: 14.05.2012
    Abgabe / Submission: 21.05.2012
  • Übungsblatt 5: [pdf]
    Exercise Sheet 5: [pdf]
    Datum / Date: 21.05.2012
    Abgabe / Submission: 30.05.2012
  • Übungsblatt 6: [pdf]
    Exercise Sheet 6: [pdf]
    Datum / Date: 05.06.2012
    Abgabe / Submission: 11.06.2012
  • Übungsblatt 7: [pdf]
    Exercise Sheet 7: [pdf]
    Datum / Date: 11.06.2012
    Abgabe / Submission: 18.06.2012
  • Übungsblatt 8: [pdf]
    Exercise Sheet 8: [pdf]
    Datum / Date: 18.06.2012
    Abgabe / Submission: 25.06.2012
  • Übungsblatt 9: [pdf]
    Exercise Sheet 9: [pdf]
    Datum / Date: 25.06.2012
    Abgabe / Submission: 02.07.2012
  • Übungsblatt 10: [pdf]
    Exercise Sheet 10: [pdf]
    Datum / Date: 02.07.2012
    Abgabe / Submission: 09.07.2012
  • Übungsblatt 11: [pdf]
    Exercise Sheet 11: [pdf]
    Datum / Date: 09.07.2012
    Abgabe / Submission: 16.07.2012
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin