KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Worsch, Thomas; Modanese, Augusto; KIT | Webcast [Hrsg.]

  • 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
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 04.02.2019
Erstellungsdatum 01.02.2019
DOI 10.5445/DIVA/2019-117
Identifikator KITopen-ID: 1000116305
Serie Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page