00:04:06
|
Definition 1.1.4: Kanonische Kongruenz
|
00:07:26
|
Bemerkung 1.1.5: ~A ist eine Kongruenz
|
00:21:00
|
Beispiel zu 1.1.5
|
00:25:57
|
1.2 DEA Minimierung
|
00:31:45
|
De finition 1.2.1: Myhill-Nerode-Kongruenz
|
00:35:17
|
Beispiel zu 1.2.1
|
00:41:30
|
Definition 1.2.2: deterministischer endlicher Automat AL
|
00:47:33
|
Bemerkung 1.2.6: Gelte L(A) = L => Zustandszahl von A größer/gleich Zustandszahl AL
|
00:55:08
|
Konsequenz 1.2.5: L regulär <=> AL endlich
|
00:58:22
|
Anwendung von 1.2.5: Beispiel 1.2.4
|
01:03:46
|
Behauptung 1.2.7: Sei L eine reguläre Sprache und A ein DEA der L erkennt dann gibt es einen Isomorphismus von Ared auf AL
|
01:13:39
|
Implementierung der DEA-Minimierung
|
01:22:25
|
Beispiel 1.2.9.: Blockverfeinerungsalgorithmus
|