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

Folien

  • Vorlesung 1: Organisatorisches, mathematische Grundlagen und formale Beweise — Folien, Notizen
  • Vorlesung 2: mathematische Grundlagen und formale Beweise (Fortsetzung), Sprachen und Grammatiken — Folien, Notizen
  • Vorlesung 3: Chomsky-Hierarchie, deterministische endliche Automaten — Folien, Notizen
  • Vorlesung 4: Umwandlung DFA → reguläre Grammatik, nicht-deterministische endliche Automaten — Folien, Notizen
  • Vorlesung 5: Reguläre Ausdrücke — Folien, Notizen
  • Vorlesung 6: Reguläre Ausdrücke in der Praxis, Pumping Lemma, Myhill-Nerode-Äquivalenz — Folien, Notizen
  • Vorlesung 7: Myhill-Nerode-Äquivalenz, Minimalautomaten, Abschlusseigenschaften von regulären Sprachen — Folien, Notizen
  • Vorlesung 8: Algorithmen, Demo: wechselseitiger Ausschluss — Folien, Notizen, Demo-Quellcode
    Grail: Webseite, Version 2.5 vorkompiliert für: Windows (32 bit), Linux (RPM)
  • Vorlesung 9: Kontextfreie Grammatiken, Syntaxbäume und Ambiguität, Chomsky-Normalform, CYK-Algorithmus (Anfang) — Folien, Notizen
  • Vorlesung 10: CYK-Algorithmus, Pumping Lemma für kontextfreie Sprachen — Folien, Notizen
  • Vorlesung 11: Kellerautomaten, Umwandlungen: kontextfreie Grammatik → KA, KA → kontextfreie Grammatik — Folien, Notizen
  • Vorlesung 12: Abschlusseigenschaften und Algorithmen für kontextfreie Sprachen — Folien, Notizen (aktualisiert)
  • Vorlesung 13: Deterministische Kellerautomaten, einen Parser erzeugen mit ANTLR — Folien, Notizen, Quellcode

Alle Folien

Vorlesung 1–13 (9. Juli 2013)

English translations

Lecture 1–13 (9 July 2013)

Übungsblätter

  • Übungsblatt 1: [pdf]
    Exercise Sheet 1: [pdf]
    Datum / Date: 16.04.2013
    Abgabe / Submission: 23.04.2013
  • Übungsblatt 2: [pdf]
    Exercise Sheet 2: [pdf]
    Datum / Date: 23.04.2013
    Abgabe / Submission: 30.04.2013
  • Übungsblatt 3: [pdf]
    Exercise Sheet 3: [pdf]
    Datum / Date: 30.04.2013
    Abgabe / Submission: 07.05.2013
  • Übungsblatt 4: [pdf]
    Exercise Sheet 4: [pdf]
    Datum / Date: 07.05.2013
    Abgabe / Submission: 14.05.2013
  • Übungsblatt 5: [pdf]
    Exercise Sheet 5: [pdf]
    Datum / Date: 14.05.2013
    Abgabe / Submission: 22.05.2013
  • Übungsblatt 6: [pdf]
    Exercise Sheet 6: [pdf]
    Datum / Date: 28.05.2013
    Abgabe / Submission: 04.06.2013
  • Übungsblatt 7: [pdf]
    Exercise Sheet 7: [pdf]
    Datum / Date: 04.06.2013
    Abgabe / Submission: 11.06.2013
  • Übungsblatt 8: [pdf]
    Exercise Sheet 8: [pdf]
    Datum / Date: 11.06.2013
    Abgabe / Submission: 18.06.2013
  • Übungsblatt 9: [pdf]
    Exercise Sheet 9: [pdf]
    Datum / Date: 18.06.2013
    Abgabe / Submission: 25.06.2013
  • Übungsblatt 10: [pdf]
    Exercise Sheet 10: [pdf]
    Datum / Date: 25.06.2013
    Abgabe / Submission: 02.07.2013
  • Übungsblatt 11: [pdf]
    Exercise Sheet 11: [pdf]
    Datum / Date: 02.07.2013
    Abgabe / Submission: 09.07.2013
  • Übungsblatt 12: [pdf]
    Exercise Sheet 12: [pdf]
    Datum / Date: 09.07.2013
    Abgabe / Submission: 16.07.2013
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin