Formale Systeme, Automaten, Prozesse

News

  • 4.4.2019: Das erste Übungsblatt ist nun verfügbar. Alle weiteren Vorlesungsmaterialien finden Sie nach erfolgreicher Anmeldung über RWTHonline in RWTHmoodle.
  • 20.3.2019: Die erste Vorlesung findet am Donnerstag den 4.4.2019 statt. Die erste Globalübung ist am Donnerstag den 11.4.2019. Weitere Termine sind unten aufgeführt. Wir werden in der ersten Vorlesung einige organisatorische Fragen klären. Bis dahin brauchen Sie sich um nichts kümmern!

 

Anmeldung

Folgende Anmeldungen sind durchzuführen:

  • Registrieren Sie sich bis Donnerstag 11.4.2019 12:00 Uhr in unserem Übungssystem. Melden Sie sich an und geben Sie Präferenzen für einen Tutoriumstermin an.
  • Melden Sie sich bis 1.5.2019 in RWTHonline zur Lehrveranstaltung ‘Formale Systeme, Automaten, Prozesse (Hörsaalübung) ‘ an. Hierdurch bekommen Sie in RWTHmoodle Zugriff zu den Vorlesungsmaterialien.
  • Melden Sie sich im Übungssystem zur Präsenzübung an. Die Anmeldung wird demnächst freigeschaltet.
  • Melden Sie sich in RWTHonline zur Klausur an, wenn Sie diese mitschreiben möchten.

Wichtige Termine

Beachten Sie, dass entgegen der Angaben in RWTHonline die Vorlesung montags und donnerstags und die Globalübung mittwochs stattfindet. Es gibt jedoch Außnahmen. Die genauen Termine sind unten aufgelistet.

  Wochentag Uhrzeit Raum
Regelmäßige Termine
Vorlesung Montag 18:30 – 20:00 H02
Vorlesung Donnerstag 10:30 – 12:00 H01
Globalübung Mittwoch 18:30 – 20:00 H01

 

Einmalige Termine
  Datum Uhrzeit Raum
Klausur 13.8. 16:30 – 19:30 Hörsaalverteilung wird im Übungssystem bekanntgegeben
Wiederholungsklausur 9.9. 16:00 – 19:00 Hörsaalverteilung wird im Übungssystem bekanntgegeben
Präsenzübung 21.6. 16:30 – 18:00 Hörsaalverteilung wird im Übungssystem bekanntgegeben

 

Vorlesungen

Folien und Notizen zur Vorlesung (VL) werden in RWTHmoodle hochgeladen.

Nr. Thema Datum
1   4.4.2019
2   8.4.2019
3   15.4.2019
4   18.4.2019
5   25.4.2019
6   29.4.2019
7   6.5.2019
8   9.5.2019
9   13.5.2019
10   16.5.2019
11   20.5.2019
12   23.5.2019
13   27.5.2019
14   3.6.2019
15   6.6.2019
16   17.6.2019
17   24.6.2019
18   27.6.2019
19   8.7.2019

 

Globalübungen

Folien und Notizen zur Globalübung werden in RWTHmoodle hochgeladen.

Nr. Thema Datum
1   11.4.2018
2   17.4.2019
3   24.4.2019
4   2.5.2019
5   8.5.2019
6   15.5.2019
7   22.5.2019
8   29.5.2019
9   5.6.2019
10   19.6.2019
11   26.6.2019
12   4.7.2019
13   11.7.2019

 

Übungen

Begleitend zur Vorlesung gibt es Übungsblätter, die zu dritt zu bearbeiten sind. Die Übungszettel werden jeweils freitagabends über RWTHmoodle online gestellt und sind in der Regel 7 Tage später (freitags) bis 12:00 Uhr abzugeben. Die Abgabe erfolgt durch Einwurf der Lösungen in die Übungskästen. Die Kästen befinden sich am Eingang Halifaxstraße des Informatikzentrums (Ahornstr. 55). Alternativ können die Lösungen auch vor der Abgabefrist direkt im Tutorium abgegeben werden.

Die Lösungen zu den Übungsaufgaben werden in den wöchentlichen Kleingruppenübungen besprochen. Es gibt keinen L2P Lernraum für diese Veranstaltung.

Eine Teilnahme am Übungsbetrieb wird dringend emfohlen.

Nr. Abgabedatum
1 12.4.2019

Klausurzulassung und Präsenzübung

Für die Zulassung zur Klausur ist neben einer korrekten Anmeldung eine erfolgreiche Teilnahme an der Präsenzübung am 21.6. um 16:30 Uhr erforderlich. In der Präsenzübung muss unter Klausurbedingungen und in Einzelarbeit ein zusätzliches Übungsblatt gelöst werden. Die Bearbeitungsdauer der Präsenzübung beträgt 90 Minuten.

Literaturempfehlungen

Die Vorlesung basiert auf:

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:
Assistenten

Jera Hensel, Benjamin Kaminski, Tim Quatmann, Matthias Volk
E-Mail
fosap19@i2.informatik.rwth-aachen.de