Grundzüge der Theoretischen Informatik: Services

Saarland University Computer Science

Den Stoff der Vorlesung können Sie nur verstehen, wenn Sie sich aktiv damit beschäftigen. Um Sie dabei zu unterstützen, stellen wir Ihnen eine Reihe von Serviceleistungen zur Verfügung.

Übungsblätter

Jede Woche gibt es ein neues Übungsblatt. Die Übungsblätter dienen Ihrer persönlichen Vorbereitung auf die Klausuren; sie müssen nicht abgegeben werden und werden auch nicht bewertet. Zu den Übungsblättern werden aber Musterlösungen erstellt, die Sie mit Ihren eigenen Lösungsvorschlägen vergleichen können. Eventuelle Unklarheiten und Probleme können Sie in den Übungsgruppen und während der Office Hour ansprechen.

Nutzen Sie das Forum zur Diskussion der Übungsaufgaben! Die URL finden Sie links im Menü.

Blatt Ausgabe Revision
Übungsblatt 1 (Musterlösung 1) In Aufgabe 1.4 c) wurde die Bennung der automaten M1 und M2 angepasst. Beachten Sie auch den Hinweis in der Lösung. Die Lösung zu 1.3 a) in der Übung war falsch, die korrigierte Variante finden Sie ebenfalls in der aktuellen Musterlösung.

2
Übungsblatt 2 (Musterlösung 2)
1
Übungsblatt 3 (Musterlösung 3)
1
Übungsblatt 4 (Musterlösung 4) Die Lösung zu der Negationsaufgabe, Teil (b), enthielt einen Fehler bei de Ausdrucksvereinfachung. Konkret wurde ein "epsilon + ..." entfernt, welches nicht entfernt werden konnte. In der aktuellen Version ist dieser Fehler korrigiert. Aufgabe 4.3.b) Zustand 3 ist ebenfalls Startzustand!

4
Übungsblatt 5 (Musterlösung 5) Die formale Definition des Kozen PLs entsprach nicht dem Kozen Text. Wir haben die zusätzliche Bedingung |uv| <= k jetzt in der Lösung entsprechend entfernt und die Anwendungen des Lemmas bereinigt. Die Variante, die in der VL vorgestellt wurde enthält die Zusatzbedingung und weicht hier von Kozen ab, ist aber ebenfalls korrekt. Aufgabe 5.2, Basisfall epsilon -> q

4
Übungsblatt 6 (Musterlösung 6) Kleiner Tipfehler in Aufgabe 6.5.d korrigiert. Endzustand in aufgabe 6.7.b korrigiert

3
Übungsblatt 7 (Musterlösung 7) kleinere Korrekturen, und Notationsanpassungen

2
Übungsblatt 8 (Musterlösung 8) Dies ist die endgültige Version. Es gibt jetzt Aufgaben zu kontextfreien Sprachen und der Abschnitt zu Relationen hat sich noch einmal deutlich geändert. 2DFA Definition: bei der Transitionsrelation fehlte ein Existenzquantor. Dieser wurde ergänzt.

4
Übungsblatt 9 (Musterlösung 9) Aufgabe 9.1 war in der ursprünglichen Version nicht lösbar, da eine Grammatik mit zwei Operatoren auf der selben Präzedenzstufe aber mit unterschiedlicher Assoziativität niemals eindeutig sein kann (hier Plus und Minus). Die Aufgabenstellung wurde dahingehend korrigiert, dass Differenz jetzt eine höhere Päzendenz hat als Addition, die Lösung wurde entsprechend angepasst.

2
Übungsblatt 10 (Musterlösung 10) Endgültige Version. Die letzten zwei Teilaufgaben zu ~W wurden entfernt, dafür gibt es eine neue Wiederholungsaufgaben, und die Aufgaben zu SR-Parsern.

2
Übungsblatt 11 (Musterlösung 11) Vollständige Version, im ersten Teil gab es noch kleinere kosmetische Korrekturen. Zum Diagramm: Der self-loop auf D muss ein Doppelpfeil sein (i.e. Schritt nach Links)

Diagramm
2
Übungsblatt 12 (Musterlösung 12) Die Musterlösung ist nochmal aktualisiert worden, außerdem sind jetzt die beiden ML code files sowie eine Lösung für die TM vom Test 12 verfügbar.

TMforW.ml TMforWM.ml TMfromTESTdiagram
5
Übungsblatt 13 (Musterlösung 13) Teil 2, endgültig; UPDATE: kleinere Anpassung der Def. von Schrittindizierung bei PS.

3

Tutoren

Sie werden von studentischen Tutoren betreut, die die Vorlesung bereits erfolgreich absolviert haben. Zu Beginn der Vorlesung wird jedem Teilnehmer ein Tutor zugeteilt. Ihr Tutor ist Ihr erster Ansprechpartner für alle Fragen zu den Inhalten und der Organisation der Vorlesung.

Eine Übersicht über die Tutoren finden Sie hier.

Übungsgruppen

Jeder Tutor betreut eine der wöchentlich stattfindenden Übungsgruppen. In der Übungsgruppe

Eine Übungsgruppe dauert in der Regel 60-90 Minuten; die Teilnahme ist freiwillig. Beachten Sie jedoch, dass die Klausurzulassung ein erfolgreiches Abschneiden in den Tests voraussetzt, die in den Übungsgruppen geschrieben werden.

An welcher Übungsgruppe Sie teilnehmen, erfahren Sie auf Ihrer persönlichen Statusseite.

Tests

In den wöchentlichen Tests können Sie Ihr Wissen in einer klausurähnlichen Situation unter Beweis stellen. Die in den Tests erzielten Ergebnisse sind relevant für die Zulassung zu den Prüfungen

Tests werden jeweils zu Beginn jeder Übungsgruppe angeboten. Jeder Test dauert 15 Minuten und besteht aus kleinen Aufgaben, die sich an das jeweils aktuelle Übungsblatt anlehnen. Die Bearbeitung erfolgt ohne weitere Hilfsmittel. Zur Vorbereitung sollten die Übungsblätter bearbeitet und die Office Hours in Anspruch genommen werden, um etwaige Fragen und Probleme zu klären.

Die Test werden korrigiert und in der nächsten Übungsstunde zurückgegeben. In jedem Test können bis zu 15 Punkte erreicht werden. Die Teilnahme an den Tests ist freiwillig, allerdings wird jeder ausgelassene Test mit 0 Punkten bewertet.

Die in den Tests erreichten Punkte können auf Ihrer persönlichen Statusseite abgefragt werden.

Office Hours

Alle Tutoren halten Office Hours zu festen, wöchentlichen Terminen ab. Sie können die Office Hours alleine oder in einer Gruppe besuchen. In den Office Hours können Sie beispielsweise

Anlaufpunkt für die Office Hours ist E 1 3, Seminarraum 014. Die Termine der Office Hours finden Sie auf der Termine-Seite.

Forum

Wir bieten für die Vorlesung ein Diskussionsforum an. Den Link finden Sie im Menü.

Detailliert Informationen zu allen die Vorlesung betreffenden, offiziellen Ankündigungen werden ausschliesslich im Forum bekannt gegeben. (Neben einem kurzen Hinweis unter "Ankündigungen" links im Menü). Daher empfehlen wir unbedingt eine Registrierung, sowie häufiges Lesen der entsprechenden Bereiche.