25: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 01.02.2019 Grundbegriffe der Informatik, Vorlesung, WS18/19

25 |
0:00:00 Start
0:00:22 Äquivalenzrelationen
0:01:41 Kongruenz ganzer Zahlen modulo n
0:04:05 Bild einer Äquivalnzrelation
0:12:15 Was ist wichtig
0:13:40 Äquivalenzrelationen auf mengen mit Struktur
0:18:23 Kongruenzrelationen
0:20:52 Verträglichkeit erlaubt die Übertragung einer Abbildung auf die Faktormenge
0:24:33 Rückblick auf endliche Akzeptoren
0:28:38 Verträglichkeit: Beispiel Nerode-Äquivalenzen
0:37:32 Antisymmetrische Relationen
0:39:52 Halbordnungen
0:41:49 eine Halbordnung auf Wörtern – darauf bauen wir später noch auf
0:43:37 Übung
0:44:44 Reguläre Ausdrücke
0:49:29 Ein regulärer Ausdruck für epsilon
0:54:44 Distributivgesetz
0:56:14 Kantorowitsch-Bäume
1:01:53 Kantorowitsch-Bäume und reguläre Ausdrücke
1:04:51 Beispiel: Zahlen spezifizieren
1:07:14 Ein Wiederbesuch: Wörter umkehren
1:11:32 Rechtslineare Grammatiken
1:15:16 Charakterisierung regulärer Sprachen
1:18:47 Linkslineare Grammatiken
1:23:40 Äquivalenz RL und LL Grammatiken