|
00:00:02
|
Wiederholung |
|
00:06:45
|
Minimierungsverfahren |
|
00:41:06
|
Minimierungsalgorithmus |
|
00:44:33
|
Verfeinerungsalgorithmus (Idee) |
|
00:48:57
|
Verfeinerungsalgorithmus |
|
01:05:05
|
Berechnung der Myhill-Nerode Äquivalenz |
|
01:09:07
|
Weitere Algorithmen für endliche Automaten |
|
01:11:18
|
Wortproblem |
|
01:14:34
|
Leerheitsproblem |
|
01:16:18
|
Unendlichkeitsproblem |
|
01:19:53
|
Inklusionsproblem |