Grundlagen der Theoretische Informatik

10.04.2019: Einführung [introduction.pdf]

11.04.2019: Terminologie (I) [terminologie.pdf] (nach der Vorlesung)

17.04.2019: Terminologie (II) [terminologie2.pdf] (nach der Vorlesung)

Dycksprache -- Beweis: L(G)= Dk: [Beweis-Dycksprache.pdf]

18.04.2019: Terminologie (III) [terminologie3.pdf] (nach der Vorlesung)

Abzählbarkeit: Beweis [Beweis-abzaehlbar.pdf]

24.04.2019: Terminologie (IV) [terminologie4.pdf] (vor der Vorlesung)

24.04.2019: Endliche Automaten (I) [endliche-automaten1.pdf] (nach der Vorlesung)

25.04.2019: Endliche Automaten (II) [endliche-automaten2.pdf] (vor der Vorlesung) -

2.05.2019: Endliche Automaten (III) [endliche-automaten3.pdf] (nach der Vorlesung)

8.05.2019: Endliche Automaten (IV) [endliche-automaten4.pdf] (nach der Vorlesung)

9.05.2019: 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]

15.05.2019: Kellerautomaten (I) [keller-automaten1.pdf] (nach der Vorlesung)

16.05.2019: Kellerautomaten (II) [keller-automaten2.pdf] (nach der Vorlesung)

22.05.2019: Kellerautomaten (III) [keller-automaten3.pdf] (vor der Vorlesung)

23.05.2019: Kellerautomaten (IV) [keller-automaten4.pdf] (nach der Vorlesung)

29.05.2019: Kellerautomaten (V) [keller-automaten5.pdf] (nach der Vorlesung)

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

5.06.2019: Kellerautomaten (VI) [keller-automaten6.pdf] (nach der Vorlesung)

Example CYK-Algorithmus [example-CYK.pdf]

6.06.2019: Turing Maschinen (I) [turing-maschinen1.pdf] (nach der Vorlesung)

26.06.2019: Turing Maschinen (II) [turing-maschinen2.pdf] (nach der Vorlesung)

27.06.2019: Turing Maschinen (III) [turing-maschinen3.pdf] (nach der Vorlesung)

3.07.2019: Turing Maschinen (IV) [turing-maschinen4.pdf] (vor der Vorlesung)

4.07.2019: Turing Maschinen (V) [turing-maschinen5.pdf] (nach der Vorlesung)

10.07.2019: Turing Maschinen (VI) [turing-maschinen6.pdf] (nach der Vorlesung) --!>

10.07.2019: Komplexität (I) [komplexitaet1.pdf] (nach der Vorlesung)

11.07.2019: Komplexität (II) [komplexitaet2.pdf] (nach der Vorlesung)

17.07.2019: Komplexität (III) (Dennis Peuter) [komplexitaet3.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]