Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2011/12 / Automatentheorie


Inhaltsbereich

Automatentheorie

Vorlesung, 3-std., Mo 12-14, Mi 12-14, Hofmann; Übungen 2-std., Do 14-16, Schöpp

Aktuelles

    • Studierene in Diplom- und Magisterstudiengängen können ihre Scheine jetzt im Sekretariat des Lehrstuhls TCS bei Frau Sigrid Roden abholen.
    • Klausureinsicht: Fr., 2.3., 9-10 Uhr, Raum L109 Oettingenstr. 67
    • Die Anmeldung zur Nachklausur ist bis zum 10.03. bei UniWorx möglich.
    • Die Vorlesungsumfrage wird elektronisch von die-informatiker.net durchgeführt. Dazu wurde allen Teilnehmern der Vorlesung über UniWorX ein Authentifizierungs-Token per E-Mail (an die CIP-Adresse) zugeschickt. Sie können bis zum 20.2. an der Umfrage teilnehmen.
    • Der Termin für die Nachholklausur steht jetzt fest, siehe unten.
    • Die Klausur findet am 8.2.12 von 12 bis 14 Uhr statt. Die Anmeldung ist bis zum 8.1.12 bei UniWorx möglich.
    • Die Vorlesung am 31.10. fällt aus, die Vorlesung am 23.01. findet statt. S.u. für die aktualisierte Liste der Vorlesungstermine.
    • Alle Teilnehmer werden gebeten, sich bei UniWorX zur Vorlesung anzumelden.
    • Da sich der Semesterturnus der Vorlesung "Formale Spezifikation und Verifikation" vom Winter- zum Sommersemester ändert, findet diese erst im SS 12 wieder statt. Im WS 11/12 kann auch die "Automatentheorie" für das Modul "Formale Spezifikation und Verifikation" angerechnet werden.

     


    Inhalt

    Diese Vorlesung behandelt die Theorie endlicher Automaten auf unendlichen Wörtern und Bäumen. Diese werden hauptsächlich benutzt, um Entscheidungsverfahren für verschiedene Logiken zu gewinnen.

    Stichworte: Satz von Büchi-Elgot, Presburger Arithmetik, LTL, XML, Satz von Rabin, modaler µ-Kalkül.

    Die Vorlesung richtet sich nach dem Buch Automatentheorie und Logik. Das Skript von 2010 ist eine frei verfügbare Vorversion des Buches.

    Organisation

     


    Zeit und Ort

    VeranstaltungZeitOrtBeginn
    Vorlesung Mo, 12-14 Uhr BU101 (Oettingenstr. 67) 17.10.2010
    Vorlesung Mi, 12-14 Uhr BU101 (Oettingenstr. 67) 19.10.2010
    Übung Do, 14-16 Uhr Raum M203 (Hauptgebäude) 20.10.2010

    Da die Vorlesung 3-stündig ist, findet sie an folgenden Terminen nicht statt: 31.10., 02.11., 16.11., 25.01., 30.01., 01.02., 06.02., 08.02.

     


     

    Übungen

        • Blatt 1 (16.11.) — Besprechung am 20.10.
        • Blatt 2 — Besprechung am 27.10.
        • Blatt 3 — Besprechung am 3.11.
        • Blatt 4 — Besprechung am 10.11. und 17.11.
        • Blatt 5 — Besprechung am 17.11. und 24.11.
        • Blatt 6 — Besprechung am 24.11.
        • Blatt 7 — Besprechung am 1.12.
        • Blatt 8 — Besprechung am 8.12.
        • Blatt 9 — Besprechung am 15.12.
        • Blatt 10 — Besprechung am 22.12.
        • Blatt 11 mit Wiederholungsaufgaben zum bisher behandelten Stoff — Besprechung am 12.1.
        • Blatt 12 — Besprechung am 19.01.
        • Blatt 13 — Besprechung am 26.01.
        • Blatt 14 — Besprechung am 02.02.

     


     

    Material

     


     

    Klausur

    Erstklausur

        • Termin: Mittwoch, 08.02.2012, 12 s.t. bis 14 Uhr
        • Klausureinsicht: Fr., 2.3., 9-10 Uhr, Raum L109 Oettingenstr. 67
        • Raumaufteilungnach den Anfangsbuchstaben des Nachnamen:
          • Nachnamen A-Ha: Raum DZ003 (Hauptgebäude)
          • Nachnamen He-Z: Raum BU101 (Oettingenstr. 67)
        • Bearbeitungszeit: 90 Minuten
        • Die Klausur findet ohne Hilfsmittel statt. Insbesondere sind keine schriftlichen Unterlagen, keine Taschenrechner oder andere Rechner, keine Mobiltelefone oder andere Kommunikationsmittel erlaubt.
        • Erforderliche Unterlagen:
          • gültiger Immatrikulationsnachweis für dieses Semester
          • gültiger Personalausweis oder Pass mit Lichtbild
          • Schreibzeug (keine Rot- und Grünstifte, kein Bleistift)
          • Eigenes Papier ist nicht erforderlich und darf für die Prüfung nicht benutzt werden.

    Nachholklausur

        • Dienstag, 10.04.2012, 16 s.t. bis 18 Uhr, Hörsaal C123, Theresienstraße 41

     


    Weitere Informationen

     

    Artikelaktionen


    Funktionsleiste