Grundlagen der Theoretische Informatik

Slides

  • 13.04.2016: Einführung [introduction.pdf]
  • 14.04.2016: Terminologie (I) [terminologie.pdf] (nach der Vorlesung)
  • 20.04.2016: Terminologie (II) [terminologie2.pdf] (nach der Vorlesung)
  • Dycksprache -- Beweis: L(G)= Dk: [Beweis-Dycksprache.pdf]
  • 21.04.2016: Terminologie (III) [terminologie3.pdf] (nach der Vorlesung)
  • Abzählbarkeit: Beweis [Beweis-abzaehlbar.pdf]
  • 27.04.2015: Terminologie (IV) [terminologie4.pdf] (nach der Vorlesung)
  • 27.04.2016: Endliche Automaten (I) [endliche-automaten1.pdf] (nach der Vorlesung)
  • 28.04.2016: Endliche Automaten (II) [endliche-automaten2.pdf] (nach der Vorlesung)
  • 4.05.2016: Endliche Automaten (III) [endliche-automaten3.pdf] (nach der Vorlesung)
  • 11.05.2016: Endliche Automaten (IV) [endliche-automaten4.pdf] (nach der Vorlesung)
  • 12.05.2015: Endliche Automaten (V) [endliche-automaten5.pdf] (nach 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]
  • 25.05.2016: Kellerautomaten (I) [keller-automaten1.pdf] (2.06.2016 - Seite 12: Seien b1,b2 Blätter -> Seien b1,b2 Knoten)
  • 1.06.2016: Kellerautomaten (II) [keller-automaten2.pdf] (nach der Vorlesung)
  • 2.06.2016: Question/Answer Session
  • 9.06.2016: Kellerautomaten (III) [keller-automaten3.pdf] (nach der Vorlesung)
  • 15.06.2016: Kellerautomaten (IV) [keller-automaten4.pdf] (nach 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]
  • 16.06.2016: Kellerautomaten (V) [keller-automaten5.pdf] (vor der Vorlesung)
  • 22.06.2016: Kellerautomaten (VI) [keller-automaten6.pdf] (nach der Vorlesung)
  • 22.06.2016: Turing Maschinen (I) [turing-maschinen1.pdf] (nach der Vorlesung)
  • 23.06.2016: Turing Maschinen (II) [turing-maschinen2.pdf] (nach der Vorlesung)
  • 30.06.2016: Turing Maschinen (III) [turing-maschinen3.pdf] (nach der Vorlesung)
  • 6.07.2016: Turing Maschinen (IV) [turing-maschinen4.pdf] (nach der Vorlesung)
  • 7.07.2016: Turing Maschinen (V) [turing-maschinen5.pdf] (nach der Vorlesung)
  • 13.07.2016: Turing Maschinen (VI) [turing-maschinen6.pdf] (vor der Vorlesung)
  • 13.07.2016: Komplexität (I) [komplexitaet1.pdf]
  • 14.07.2016: Komplexität (II) [komplexitaet2.pdf]
  • 20.07.2016: Komplexität (III) [komplexitaet3.pdf] (vor der Vorlesung)
  • Liste mit Themen für die erste Teilklausur [themen-tk1.pdf] (aktualisiert am 2.06.2016)
  • Liste mit Themen für die zweite Teilklausur [themen-tk2.pdf]