Vorlesungsaufzeichnung Theoretische Informatik

Aufzeichnung der Vorlesung Theoretische Informatik an der Hochschule Osnabrück im Sommersemester 2016

 

 

Liste der Aufzeichnungen
NrLinkThema
1Vorlesung 1 Einführung, DEA
2

Vorlesung 2

Endliche Automaten

3Vorlesung 3

Nichtdeterministische Automaten

4Vorlesung 4Abschlusseigenschaften L3, Grammatiken
5Vorlesung 5Formale Sprachen/Grammatiken, Chomsky-Hierarchie, RAT = L3
6Vorlesung 6Reguläre Ausdrücke
7Vorlesung 7Pumping-Lemma für L3, Äquivalenzen
8Vorlesung 8Übungsaufgaben
9Vorlesung 9Standardautomat, Zustandsäquivalenz
10Vorlesung 10Berechnung Minimalautomat
11Vorlesung 11Kontextfreie Sprachen
12Vorlesung 12Pumping-Lemma L2, PDA
13Vorlesung 13cfg = PDA, Abschlusseigenschaften L2
14Vorlesung 14Turing-Maschinen
15Vorlesung 15Varianten von Turing-Maschinen
16Vorlesung 16Universelle Turing-Maschine
17Vorlesung 17 Sprachklassen L0 und L1
18Vorlesung 18Übungsaufgaben
19Vorlesung 19 Berechenbarkeit, Entscheidbarkeit, Akzeptierbarkeit
20Vorlesung 20Berechenbarkeit, Halteproblem
21Vorlesung 21Besprechung Übungsklausur