|
00:00:02
|
Wiederholung |
|
00:03:41
|
Leerheitsproblem |
|
00:07:27
|
Markierungsalgorithmus |
|
00:09:54
|
Beweis der Korrektheit des Markierungsalgorithmus |
|
00:19:37
|
Allgemeine Grammatiken |
|
00:20:31
|
Kontextsensitive Grammatiken |
|
00:29:22
|
Syntax und Semantik |
|
00:34:34
|
Beispiel 10.1 |
|
00:41:25
|
Kontextsensitive Sprachen |
|
00:42:35
|
Wortproblem |
|
00:47:44
|
Leerheitsproblem für kontextsensitive Grammatiken |
|
00:48:45
|
utomaten für kontextsensitive Grammatiken: Linear beschränkte A. |
|
00:50:56
|
Allgemeine Grammatiken |
|
00:54:15
|
Die Chomsky-Hierarchie |
|
00:54:53
|
Algorithmische Eigenschaften |
|
00:56:46
|
Nebenläufige Systeme |
|
01:04:14
|
Sequentielle Prozesse |
|
01:05:59
|
Nebenläufigkeit |
|
01:08:03
|
Kompositionale Semantik |
|
01:15:37
|
Schlussfolgerungen |