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

 

 

 

Kontakt

Hochschule Osnabrück
University of Applied Sciences
Albrechtstr. 30
49076 Osnabrück
Telefon: +49 541 969-0
Fax: +49 541 969-2066
E-Mail: webmaster@hs-osnabrueck.de

© 2017 HOCHSCHULE OSNABRÜCK
UNIVERSITY OF APPLIED SCIENCES

Besuchen Sie uns

Zertifikat