27:23Ableitungsbäume
A 27-minute video from Prof. Markus: “Ableitungsbäume”.
Prof. Markus
1.39K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
27:23
17:26Abschlusseigenschaften für Sprachen von Typ 0 und Typ 1
A 17-minute video from Prof. Markus: “Abschlusseigenschaften für Sprachen von Typ 0 und Typ 1”.
22:45Abschlusseigenschaften kontextfreier Sprachen
A 23-minute video from Prof. Markus: “Abschlusseigenschaften kontextfreier Sprachen”.
23:41Ausagenlogische Gesetze in der Prädikatenlogik
A 24-minute video from Prof. Markus: “Ausagenlogische Gesetze in der Prädikatenlogik”.
34:33Aussagenlogische Äquivalenzen
A 35-minute video from Prof. Markus: “Aussagenlogische Äquivalenzen”.
59:48Auswertung von Datalog
A 60-minute video from Prof. Markus: “Auswertung von Datalog”.
29:45Automaten für Typ-1-Sprachen
A 30-minute video from Prof. Markus: “Automaten für Typ-1-Sprachen”.
36:34Automaten für kontextfreie Sprachen
A 37-minute video from Prof. Markus: “Automaten für kontextfreie Sprachen”.
30:58Automaten mit Wortübergängen
A 31-minute video from Prof. Markus: “Automaten mit Wortübergängen”.
23:44Berechnung jenseits kontextfreier Sprachen?
A 24-minute video from Prof. Markus: “Berechnung jenseits kontextfreier Sprachen?”.
49:45Berechnungen von Turingmaschinen
A 50-minute video from Prof. Markus: “Berechnungen von Turingmaschinen”.
43:51DFA vs. NFA
A 44-minute video from Prof. Markus: “DFA vs. NFA”.
39:01Das Halteproblem (und warum es untentscheidbar ist)
A 39-minute video from Prof. Markus: “Das Halteproblem (und warum es untentscheidbar ist)”.
57:51Das Postsche Korrespondenzproblem (PCP)
A 58-minute video from Prof. Markus: “Das Postsche Korrespondenzproblem (PCP)”.
46:36Das Pumping-Lemma kontextfreier Sprachen
A 47-minute video from Prof. Markus: “Das Pumping-Lemma kontextfreier Sprachen”.
18:38Das Wortproblem
A 19-minute video from Prof. Markus: “Das Wortproblem”.
41:57Der CYK-Algorithmus (für das Wortproblem kontextfreier Sprachen)
A 42-minute video from Prof. Markus: “Der CYK-Algorithmus (für das Wortproblem kontextfreier Sprachen)”.
47:15Der Quotientenautomat
A 47-minute video from Prof. Markus: “Der Quotientenautomat”.
44:50Der Resolutionsalgorithmus
A 45-minute video from Prof. Markus: “Der Resolutionsalgorithmus”.
32:24Der Satz von Myhill und Nerode
A 32-minute video from Prof. Markus: “Der Satz von Myhill und Nerode”.
22:46Der Satz von Rice: Alles unentscheidbar
A 23-minute video from Prof. Markus: “Der Satz von Rice: Alles unentscheidbar”.
55:55Der Unifikationsalgorithmus
A 56-minute video from Prof. Markus: “Der Unifikationsalgorithmus”.
46:49Deterministische Komplexitätsklassen: Einführung und Überblick
A 47-minute video from Prof. Markus: “Deterministische Komplexitätsklassen: Einführung und Überblick”.
30:18Determinstische Kellerautomaten
A 30-minute video from Prof. Markus: “Determinstische Kellerautomaten”.
15:23Die Anzahl der Sprachen
A 15-minute video from Prof. Markus: “Die Anzahl der Sprachen”.
32:19Die Chomsky-Hierarchie
A 32-minute video from Prof. Markus: “Die Chomsky-Hierarchie”.
42:26Die Eindeutigkeit minimaler Automaten
A 42-minute video from Prof. Markus: “Die Eindeutigkeit minimaler Automaten”.
19:36Die Grenzen der LOOP-Berechenbarkeit
A 20-minute video from Prof. Markus: “Die Grenzen der LOOP-Berechenbarkeit”.
35:31Die Grenzen regulärer Sprachen (und das Pumping-Lemma)
A 36-minute video from Prof. Markus: “Die Grenzen regulärer Sprachen (und das Pumping-Lemma)”.
12:55Die Klauselform in der Prädikatenlogik
A 13-minute video from Prof. Markus: “Die Klauselform in der Prädikatenlogik”.
38:03Die Komplexitätsklasse NP
A 38-minute video from Prof. Markus: “Die Komplexitätsklasse NP”.
32:26Die Komplexitätsklasse NP
A 32-minute video from Prof. Markus: “Die Komplexitätsklasse NP”.
26:58Die Mehrbandturingmaschine
A 27-minute video from Prof. Markus: “Die Mehrbandturingmaschine”.
26:34Die Negationsnormalform in der Prädikatenlogik
A 27-minute video from Prof. Markus: “Die Negationsnormalform in der Prädikatenlogik”.
18:54Die Nerode-Rechtskongruenz (Teil 2)
A 19-minute video from Prof. Markus: “Die Nerode-Rechtskongruenz (Teil 2)”.
29:50Die Nerode-Rechtskongruenz (ist gar nicht so kompliziert)
A 30-minute video from Prof. Markus: “Die Nerode-Rechtskongruenz (ist gar nicht so kompliziert)”.