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

• Umfang: 3+2 Semesterwochenstunden
• Vorlesung: Prof. Dr. Martin Hofmann
• Übungen: Dr. Ulrich Schöpp

 

---

Zeit und Ort

Veranstaltung	Zeit	Ort	Beginn
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.

Lösungsskizzen

• Aufgabe 1-3
• Blatt 2 (8.11., 13:06 Uhr), Aufgabe 2-3: kleiner.mona
• Aufgabe 3-1: 3.1_1.mona, 3.1_2.mona, Aufgabe 3-2: vielfache.mona
• Aufgabe 4-1: bauer.mona; Aufgabe 4-2-b
• Blatt 5, Aufgabe 5-2: presburger.mona
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9
• Blatt 10
• Blatt 11
• Blatt 12
• Blatt 13 (1.2.)
• Blatt 14

 

---

Material

• Skript von 2010
• adder.mona
• dist.mona
• binary.adder
• Kapitel 9 aus Automatentheorie und Logik
• Kapitel 11 aus Automatentheorie und Logik

 

---

Klausur

Erstklausur

• Termin: Mittwoch, 08.02.2012, 12 s.t. bis 14 Uhr
• Klausureinsicht: Fr., 2.3., 9-10 Uhr, Raum L109 Oettingenstr. 67
• Raumaufteilung nach 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

• Fragen zur Vorlesung können bei die-informatiker.net diskutiert werden.