|
00:18:14
|
Algorithmus 1.3.5 Blockverfeinerungsalgorithmus für NEAs |
|
00:30:30
|
Bemerkung 1.3.8. Vergleich von Bisimulations- und Sprachäquivalenz |
|
00:53:40
|
1.4 Syntaktisches Monoid |
|
00:57:30
|
Definition 1.4.3. Transitionsmonoid eines DEA |
|
01:09:40
|
Definition 1.4.2 Monoidhomomorphismus |
|
01:18:00
|
Beispiel 1.4.4 Bestimmung eines Transitionsmonoid |