Einführung in die Theoretische Informatik

Alle hier zur Verfügung gestellten Materialien sind nur eine Lernunterstützung und sollen bitte auch nur als solche benutzt werden. Sie sind kein Ersatz für die Vorlesung! Da jeder Lehrstuhl jede Veranstaltung beliebig gestalten darf, kann ich Unstimmigkeiten zur Vorlesung leider nicht ausschließen.

Ab April 2017 werde ich an der Uni Stuttgart angestellt sein und werde daher keine Übungen mehr an der TUM halten. Trotzdem möchte ich diese Webseite weiter pflegen und möglichst aktuell halten. Über E-Mails mit Fragen, Feedback, Fehlermeldungen und Ideen freue ich nach wie vor!

Materialien

  • Overheadfolien zu einzelnen Themen
    1. Formalen Sprachen [pdf]
    2. Deterministischen endliche Automaten [pdf]
    3. Nichtdeterministische endliche Automaten [pdf]
    4. Reguläre Ausdrücke [pdf]
    5. Satz von Kleene [pdf]
    6. Sättigungsmethode [pdf]
    7. Potenzmengenverfahren [pdf]
    8. Pumping Lemma [pdf]
    9. Ardens Lemma [pdf]
    10. Minimierung von DFAs [pdf]
    11. Kontextfreie Grammatiken [pdf]
    12. Pumping Lemma für kontextfreie Sprachen [pdf]
    13. CYK-Algorithmus [pdf]
    14. Kellerautomaten [pdf]
    15. Turing-Maschinen [pdf]
    16. Berechenbarkeitsmodelle [pdf]
    17. Primitiv-rekursive Funktionen [pdf]
  • Sonntagswiederholung vom SS 2016 [zip]
  • Themenüberblick vom SS 2012 [pdf] und vom SS 2015 [pdf]
Vorsicht! Wie oben erwähnt, sind die Themen nicht jedes Jahr identisch. Achtet darauf, was für euch relevant ist und was nicht.
  • Pumping-Lemma [pdf]

Wer an alten Dateien von mir interessiert ist, die nicht mehr relevant sind kann mich sehr gerne per E-Mail danach fragen.

    Hilfreiche Links

    • Selbsthilfegruppe auf Facebook [link]
    • Markus Schlaffer [link]
    • Markus Kaiser [link]