KIT | KIT-Bibliothek | Impressum | Datenschutz

Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 03.11.2016, 03

Wagner, Dorothea; KIT | Webcast [Hrsg.]

  • 0:00:00 Starten
  • 0:00:25 Verallgemeinertes PL für reguläre Sprachen
  • 0:17:18 Kapitel Minimierung von Automaten und Äquivalenzklassenautomat
  • 0:20:14 Frage: Kann man konstruktiv die Anzahl der Zustände eines deterministischen endlichen Automatens erheblich verringern?
  • 0:22:04 Beispiel
  • 0:34:34 Äquivalenz
  • 0:37:22 Der Äquivalenzklassenautomat
  • 0:48:03 Frage: Wie berechnet man alle Äquivalenzklassen zu den Zuständen von A?
  • 0:53:43 Frage: Wann kann dieses Verfahren abgebrochen werden?
  • 0:57:26 Vorgehensweise
  • 1:00:09 Beispiel zur Vorgehensweise


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Audio & Video
Publikationsdatum 08.11.2016
Erstellungsdatum 03.11.2016
DOI 10.5445/DIVA/2016-695
Identifikator KITopen-ID: 1000114267
Serie Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page