Grundlagen der Theoretische Informatik

Slides

  • 19.04.2017: Einführung [introduction.pdf]
  • 20.04.2017: Terminologie (I) [terminologie.pdf] (nach der Vorlesung)
  • 26.04.2017: Terminologie (II) [terminologie2.pdf] (nach der Vorlesung)
  • Dycksprache -- Beweis: L(G)= Dk: [Beweis-Dycksprache.pdf]
  • 27.04.2017: Terminologie (III) [terminologie3.pdf] (nach der Vorlesung)
  • Abzählbarkeit: Beweis [Beweis-abzaehlbar.pdf]
  • 3.05.2017: Terminologie (IV) [terminologie4.pdf] (nach der Vorlesung)
  • 3.05.2017: Endliche Automaten (I) [endliche-automaten1.pdf] (nach der Vorlesung)
  • 4.05.2017: Endliche Automaten (II) [endliche-automaten2.pdf] (nach der Vorlesung)
  • 10.05.2017: Endliche Automaten (III) [endliche-automaten3.pdf] (nach der Vorlesung)
  • 11.05.2017: Endliche Automaten (IV) [endliche-automaten4.pdf] (nach der Vorlesung)
  • 17.05.2017: 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]
  • 17.05.2017: Kellerautomaten (I) [keller-automaten1.pdf] (nach der Vorlesung)
  • 19.05.2017: Kellerautomaten (II) [keller-automaten2.pdf] (nach der Vorlesung)
  • 24.05.2017: Kellerautomaten (III) [keller-automaten3.pdf] (nach der Vorlesung)
  • 31.05.2017: Kellerautomaten (IV) [keller-automaten4.pdf] (nach der Vorlesung)
  • 1.06.2017: Kellerautomaten (V) [keller-automaten5.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]
  • 15.06.2017: Kellerautomaten (VI) [keller-automaten6.pdf] (nach der Vorlesung)
  • 22.06.2017: Kellerautomaten (VII) [keller-automaten7.pdf] (nach der Vorlesung)
  • 22.06.2017: Turing Maschinen (I) [turing-maschinen1.pdf] (nach der Vorlesung)
  • 28.06.2017: Turing Maschinen (II) [turing-maschinen2.pdf] (nach der Vorlesung)
  • 29.06.2017: Turing Maschinen (III) [turing-maschinen3.pdf] (nach der Vorlesung)
  • 5.07.2017: Turing Maschinen (IV) [turing-maschinen4.pdf] (nach der Vorlesung)
  • 6.07.2017: Turing Maschinen (V) [turing-maschinen5.pdf] (nach der Vorlesung)
  • 12.07.2017: Turing Maschinen (VI) [turing-maschinen6.pdf] (nach der Vorlesung)
  • 13.07.2017: Turing Maschinen (VII) [turing-maschinen7.pdf] (nach der Vorlesung)
  • 13.07.2017: Komplexität (I) [komplexitaet1.pdf] (nach der Vorlesung)
  • 19.07.2017: Komplexität (II) [komplexitaet2.pdf] (nach der Vorlesung)
  • 20.07.2017: Komplexität (III) [komplexitaet3.pdf] (nach der Vorlesung)