Kursthemen

  • Teil 1: Formale Sprachen

    Einleitung

    Der erste Teil der Vorlesung (ca. 1/2 bis 2/3 der Vorlesungszeit) beschäftigt sich mit Formalen Sprachen:

    • Reguläre Sprachen (reguläre Ausdrücke und endliche Automaten)
    • Kontextfreie Sprachen (kontextfreie Grammatiken und Push-Down Automaten)
    • (Semi-)Entscheidbare Sprachen (Turing-Maschinen)

    Vorlesungsfolien

    Vorlesungsfolien (Download)

    • Unter obigem Link finden Sie immer die neueste Version der Folien und Beispiele.
    • Eine Liste der Änderungen finden Sie hier: CHANGELOG
    • Die Vorlesungsfolien werden im Laufe des Semesters immer wieder geringfügig aktualisiert. Laden Sie sich daher in regelmäßigen Abständen oder bei entsprechendem Hinweis die neueste Version herunter.

    Inhalt des zip-Archivs

    In obigem zip-Archiv finden Sie:

    • Folien der einzelnen Kapitel ohne Zwischenschritte
    • Präfix Einzelfolien: Folien der einzelnen Kapitel im Präsentationsformat mit allen Zwischenschritten
    • Ordner Druckversion: Folien zum Drucken, je zwei Folien auf einer Seite
    • Druckversion mit Notizen: Folien zum Drucken, je eine Folie mit Notizbereich auf einer Seite
  • Teil 2: The Best of the Rest

  • Praktikum

    Gruppen

    • Gruppe 1 (gKW): Prof. Auer, Freitags 8:45 bis 12 Uhr im Raum K018
    • Gruppen 2/3 (gKW/uKW): Prof. Siebert, Montags 14:30 bis 17:40 im Raum K018

    Termine

    Aufgaben   Gruppe 1   Gruppe 2   Gruppe 3
    Reguläre Sprachen (Teil 1) 19.04. 15.04. 08.04.
    Reguläre Sprachen (Teil 2) 14.05. 29.04. 22.04.
    Kontextfreie Sprachen 03.05. 13.05. 06.05.
    Rekursiv aufzählbare Sprachen (24.05.) 27.05. 03.06.
    Zufall und andere Tierchen 14.06. 10.06. 17.06.
    tbd 28.06. 24.06. 01.07.

  • Software