Kursthemen

  • Teil 1: Formale Sprachen

    Evaluierung

    Bitte nehmen Sie sich ein paar Minuten Zeit um Feedback zum Vorlesungsteil Formale Sprachen (Auer) zu geben:

    Link zur Evaluierung (endet 02.06. um 23:59 Uhr)

    Wichtig: Die Evalierung betrifft nur den Teil 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 K016
    • Gruppen 2/3 (gKW/uKW): Prof. Siebert, Montags 14:30 bis 17:40 im Raum K018

    Termine

    Aufgaben (Download)   Gruppe 1   Gruppe 2   Gruppe 3
    Reguläre Sprachen (Teil 1) 19.04. 15.04. 08.04.
    Reguläre Sprachen (Teil 2) 03.05. 29.04. 22.04.
    Kontextfreie Sprachen (24.05.). 13.05. 06.05.
    Rekursiv aufzählbare Sprachen 15.06. 27.05. 03.06.
    Zufallsgeneratoren 28.06. 10.06. 17.06.
    Andere Tierchen (12.07.) 24.06. 01.07.

  • Software