Algorithmen und Komplexität - Hauptseite

EThI-Tutorium


Tutoriumstermine

Montag, 13 - 15, RUD 26, 0'313
Mittwoch, 13 - 15, RUD 26, 1'308
Mittwoch, 17 - 19 s.t., RUD 26, 0'307
Freitag, 15 - 17, RUD 26, 1'303
Die Tutorien (wie auch die Übungen) finden ab dem 19.10.2015 statt.

Betreutes Lernen

WannSo, 14.02.201611-17 c.t.
WoRUD25, 3.101

Ziele und Inhalte

Dieses Tutorium soll beim Verständnis der Inhalte der Vorlesung "Einführung in die Theoretische Informatik" helfen und aufkommende Fragen beantworten. Außerdem wird auch auf Fragen, die die Bearbeitung der Übungsaufgaben betreffen, eingegangen.

Materialien

Folien der 1. WocheOperationen auf Sprachen, DFAs
Folien der 2. WocheNFAs, Produktautomat, NFA->DFA, reguläre Ausdrücke
Folien der 3. WocheRelationen und ihre Eigenschaften
Folien der 4. WocheOrdnungs- und Äquivalenzrelationen, DFA-Minimierung, Graphisomorphie
Folien der 5. WochePumping-Lemma, Myhill-Nerode-Relation, 2. Minimierungs Beispiel Neuer Foliensatz, 2. Beispiel für eine Minimierung eingefügt! Fehler bei der Bestimmung einer Pumpingzahl beseitigt!
Folien der 6. WocheReguläre Grammatiken, Umwandlung: Reguläre Grammatik ↔ Endlicher Automat
Folien der 7. WocheKontextfreie Sprachen und PDAs
Foliensatz 7.5PDAs, Umwandlung: Kontextfreie Grammatik → PDA
Folien der 8. WocheUmwandlung: PDA → Kontextfreie Grammatik, Kontextsensitive Grammatik, LBA, Bottom-Up-Parser
Folien der 9. WocheDefinitionen (Semi-)Entscheidbarkeit, Beispiele für Berechenbarkeit
Folien der 10. Woche(M)PCP und das Wortproblem für Typ-0-GrammatikenLösungen für die gegebene PCP-Instanz
Sonderfolien: Satz von RiceEinige Beispiele zum Satz von Rice und dessen Anwendbarkeit
Folien der 11. WocheKodierungen, LOOP, WHILE und GOTOC-Code für GOTO- und LOOP-Programm
Folien der 12. WocheÜbungsaufgaben zu Landau-Notation und Erfüllbarkeit
Folien der 13. WocheÜbungsaufgabe zu Graphparametern

zuletzt geändert am 12.04.2016 (Michael R. Jung)