Grundlagen der Theoretische Informatik

Slides

  • 11.04.2018: Einführung [introduction.pdf]
  • 12.04.2018: Terminologie (I) [terminologie.pdf] (nach der Vorlesung)
  • 18.04.2018: Terminologie (II) [terminologie2.pdf] (nach der Vorlesung)
  • Dycksprache -- Beweis: L(G)= Dk: [Beweis-Dycksprache.pdf]
  • 19.04.2018: Terminologie (III) [terminologie3.pdf] (nach der Vorlesung; letzte Änderung 4.06.2018, Seite 9)
  • Abzählbarkeit: Beweis [Beweis-abzaehlbar.pdf]
  • 25.04.2018: Terminologie (IV) [terminologie4.pdf] (nach der Vorlesung; letzte Änderung 4.06.2018, Seite 6)
  • 25.04.2018: Endliche Automaten (I) [endliche-automaten1.pdf] (nach der Vorlesung)
  • 26.04.2018: Endliche Automaten (II) [endliche-automaten2.pdf] (nach der Vorlesung)
  • 2.05.2018: Endliche Automaten (III) [endliche-automaten3.pdf] (nach der Vorlesung)
  • 3.05.2018: Endliche Automaten (IV) [endliche-automaten4.pdf] (nach der Vorlesung)
  • 9.05.2018: Endliche Automaten (V) [endliche-automaten5.pdf] (vor der Vorlesung)
  • Beispiel: Berechnung eines regulären Ausdrucks für L(A) [beispiel1.pdf]
  • Beispiel: Berechnung eines Automaten mit L(A) = I(r) [beispiel2.pdf]
  • 9.05.2018: Kellerautomaten (I) [keller-automaten1.pdf] (nach der Vorlesung)
  • 16.05.2018: Kellerautomaten (II) [keller-automaten2.pdf] (vor der Vorlesung)
  • 17.05.2018: Kellerautomaten (III) [keller-automaten3.pdf] (nach der Vorlesung)
  • 30.05.2018: Kellerautomaten (IV) [keller-automaten4.pdf] (vor der Vorlesung)
  • 6.06.2018: Question/Answer Session
  • 7.06.2018: Kellerautomaten (V) [keller-automaten5.pdf] (vor der Vorlesung)

    Hopcroft, Motwani, Ullman: Enführung in Automatentheorie, Formale Sprachen und Berechenbarkeit:

  • Seiten 272-275: [leeren-Stack->Endzustand.pdf]
  • Seiten 276-277: [Endzustand->leeren-Stack.pdf]
  • 13.06.2018 und 14.06.2018: Kellerautomaten (VI) [keller-automaten6.pdf] (vor der Vorlesung)
  • 14.06.2018: Turing Maschinen (I) [turing-maschinen1.pdf] (nach der Vorlesung)
  • 21.06.2018: Turing Maschinen (II) [turing-maschinen2.pdf] (nach der Vorlesung)
  • 27.06.2018: Turing Maschinen (III) [turing-maschinen3.pdf] (nach der Vorlesung)
  • 28.07.2018: Turing Maschinen (IV) [turing-maschinen4.pdf] (nach der Vorlesung)
  • 4.07.2018: Turing Maschinen (V) [turing-maschinen5.pdf] (nach der Vorlesung)
  • 5.07.2018: Turing Maschinen (VI) [turing-maschinen6.pdf] (vor der Vorlesung)
  • 5.07.2018: Komplexität (I) [komplexitaet1.pdf] (nach der Vorlesung)
  • 11.07.2018 und 12.07.2018: Komplexität (II) [komplexitaet2.pdf] (vor der Vorlesung)
  • Liste mit Themen für die erste Teilklausur [themen-tk1.pdf]
  • Liste mit Themen für die zweite Teilklausur [themen-tk2.pdf]