|
00:01:25
|
Wiederholung |
|
00:07:33
|
Anwendung: Model-Checking |
|
00:19:13
|
Automaten mit Ausgabe |
|
00:22:37
|
Syntax von GSMs (verallgemeinerte sequentielle Maschinen) |
|
00:31:28
|
Läufe von GSMs |
|
00:33:19
|
Semantik von GSMs |
|
00:57:28
|
Nicht GSM-berechenbare Funktionen |
|
01:03:39
|
Kontextfreie Sprachen |
|
01:05:21
|
Kontextfreie Grammatiken |
|
01:15:57
|
Notation |
|
01:19:30
|
Ableitungen |