Formale Systeme, Automaten, Prozesse

News

  • 3.4.2024: We are online

Anmeldung

Folgende Anmeldungen sind über RWTHonline durchzuführen:

  • Vorlesung (Ermöglicht Zugriff auf RWTHmoodle)
  • Tutorium (Zuteilung zum Tutoriumstermin, Abgabe der Übungen). Anmeldung bis 15. April (Montag) 9:00 Uhr. Die Anmeldung ist ab sofort möglich
  • Klausur (1. Termin bzw. 2. Termin)

Vorlesungen, Globalübungen, Tutorien

  Wochentag Uhrzeit Raum
Vorlesung Dienstag 18:30 – 20:00 Audimax
Vorlesung Donnerstag 14:30 – 16:00 Audimax
Globalübung Mittwoch 16:30 – 18:00 Audimax
Tutorium Mittwoch-Freitag siehe RWTHonline  

Die erste Vorlesung findet am 11. April (Donnerstag) statt. Die zweite Vorlesung ist am 16. April (Dienstag). Die erste Globalübung findet am 17. April (Mittwoch) statt. Die Tutorien starten ab dem 17.-19. April. Bitte besuchen Sie das Ihnen über RWTHonline zugeteilte Tutorium.

Manche Vorlesungs- und Globalübungstermine weichen vom obigen Schema ab. Eine genaue Auflistung der Termine findet sich in RWTHmoodle.

Folien und Notizen zu Vorlesungen und Globalübungen werden in RWTHmoodle hochgeladen. In den Tutorien werden Lösungen zu den Übungsblättern vorgetragen. Diese werden ca. eine Woche später veröffentlicht.

Übungsblätter und E-Tests

Begleitend zur Vorlesung gibt es Übungsblätter, die zu viert zu bearbeiten sind. Die Übungsblätter werden jeweils mittwochs über RWTHmoodle veröffentlicht und sind in der Regel 7 Tage später (mittwochs) bis 16:00 Uhr online über RWTHmoodle abzugeben. Die Lösungen zu den Übungsaufgaben werden in den wöchentlichen Tutorien besprochen.

Zu jedem Übungsblatt gibt es einen zugehörigen E-Test, welcher gleichzeitig über RWTHmoodle abrufbar ist und zum Abgabezeitpunkt des Übungsblattes ausgewertet wird. Viele Aufgaben im E-Test beziehen sich auf das zugehörige Übungsblatt. Eine erfolgreiche Teilnahme an den E-Tests ist Teil der Klausurzulassung (siehe unten).

Präsenzübung und Klausur

  Datum Uhrzeit Raum
Präsenzübung 29.5. 16:30 – 18:30 Hörsaalverteilung wird über RWTHmoodle bekanntgegeben
Klausur 21.8. 11:00 – 13:00 Hörsaalverteilung wird über RWTHmoodle bekanntgegeben
Wiederholungsklausur 25.9. 13:30 – 15:30 Hörsaalverteilung wird über RWTHmoodle bekanntgegeben

Für die Klausur gibt es folgende Zulassungskriterien:

  • eine korrekte Anmeldung zum jeweiligen Klausurtermin über RWTHonline
  • mindestens 50% der in den E-Tests erreichbaren Punkte
  • eine erfolgreiche Teilnahme an der Präsenzübung

In der Präsenzübung muss unter klausurähnlichen Bedingungen und in Einzelarbeit ein zusätzliches Übungsblatt gelöst werden. Parallel zum 1. Klausurtermin findet ein Wiederholungstermin für die Präsenzübung statt. Studierende, die an der Präsenzübung am 29.5. nicht teilnehmen konnten oder dort nicht genügend Punkte erzielt haben können an diesem Termin das entsprechende Klausurzulassungskriterium erfüllen, um dann am 2. Klausurtermin teilnehmen zu können.

Für die Präsenzübung ist eine Anmeldung über RWTHmoodle erforderlich. Details hierzu werden rechtzeitig bekannt gegeben.

Literaturempfehlungen

Die Vorlesung basiert auf:

Esparza, Javier / Blondin, Michael (2023) Automata Theory – An Algorithmic Approach

Hopcroft, John E. / Motwani, Rajeev / Ullman, Jeffrey D. (2011, 3. Auflage) Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit

Kozen, Dexter C. (1997) Automata and Computability

Sipser, Michael (2006, 2. Auflage) Introduction to the Theory of Computation

Asteroth, Alexander / Christel Baier (2002) Theoretische Informatik – eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Kontakt

Wenn Sie Fragen oder Anregungen haben, können Sie uns gerne kontaktieren:

fosap24@i2.informatik.rwth-aachen.de