Formale Systeme, Automaten, Prozesse

Semester:	Sommersemester 2017
Veranstalter:	Prof. Rossmanith
Bemerkungen:

Videos

- Einführung
- Gehalten von Prof. Rossmanith
- Mo, 24.04.2017, 10:15 Uhr
- • Organisatorisches
  • Motivation
  • Künstliche Pflanzen
  • Literatur
  • Alphabete, Wörter, Sprachen
- Einführung, Reguläre Sprachen
- Gehalten von Prof. Rossmanith
- Di, 25.04.2017, 10:15 Uhr
- • Organisatorisches
  • Alphabete, Wörter, Sprache
  • Reguläre Ausdrücke
  • Fragestunde
- Reguläre Sprachen
- Gehalten von Prof. Rossmanith
- Mo, 08.05.2017, 10:15 Uhr
- • Reguläre Ausdrücke
  • Reguläre Sprachen
  • Endliche Automaten
- Reguläre Sprachen
- Gehalten von Prof. Rossmanith
- Di, 09.05.2017, 10:15 Uhr
- • Deterministische Automaten (DEA)
  • Nichtdeterministische Automaten (NEA)
  • Potenzmengenkonstruktion
  • NFAs mit ϵ-Übergängen
- Reguläre Sprachen
- Gehalten von Prof. Rossmanith
- Mo, 15.05.2017, 10:15 Uhr
- • NFAs mit ϵ-Übergängen
  • Vergleich DFA/NFA
  • Minimale DFAs und der Satz von Myhill-Nerode
- Reguläre Sprachen
- Gehalten von Prof. Rossmanith
- Di, 16.05.2017, 10:15 Uhr
- • NFAs mit ϵ-Übergängen Wdh.
  • Minimale DFAs und der Satz von Myhill-Nerode
- Reguläre Sprachen
- Gehalten von Prof. Rossmanith
- Mo, 22.05.2017, 10:15 Uhr
- • Minimale DFAs und der Satz von Myhill-Nerode
  • Berechnung des minimalen DFAs
- Reguläre Sprachen
- Gehalten von Prof. Rossmanith
- Di, 23.05.2017, 10:15 Uhr
- • Minimale DFAs und der Satz von Myhill-Nerode
  • Berechnung des minimalen DFA
  • Umwandlung eines Automaten in einen regulären Ausdruck II
- Reguläre Sprachen, Kontextfreie Sprachen
- Gehalten von Prof. Rossmanith
- Mo, 29.05.2017, 10:15 Uhr
- • Umwandlung eines Automaten in einen regulären Ausdruck II
  • Das Pumping-Lemma
  • Entscheidungsprobleme für reguläre Sprachen
  • Kontextfreie Sprachen und Grammatiken
- Kontextfreie Sprachen
- Gehalten von Prof. Rossmanith
- Di, 30.05.2017, 10:15 Uhr
- • Pumping-Lemma
  • Kontextfreie Sprachen und Grammatiken
  • Ableitungsbäume
- Kontextfreie Sprachen
- Gehalten von Prof. Rossmanith
- Mo, 12.06.2017, 10:15 Uhr
- • Kontextfreie Sprachen und Grammatiken
  • Ableitungsbäume
  • Die pre*-Operation
- Kontextfreie Sprachen
- Gehalten von Prof. Rossmanith
- Di, 13.06.2017, 10:15 Uhr
- • Kontextfreie Sprachen und Grammatiken Beispiel
  • Die pre*-Operation
  • Entscheidungsprobleme für CFGs
- Kontextfreie Sprachen
- Gehalten von Prof. Rossmanith
- Mo, 19.06.2017, 10:15 Uhr
- • Die pre*-Operation
  • Entscheidungsprobleme für CFGs
- Kontextfreie Sprachen
- Gehalten von Prof. Rossmanith
- Di, 20.06.2017, 10:15 Uhr
- • Entscheidungsprobleme für CFGs
  • Normalformen für CFGs
  • Chomsky-Normal-Form
  • Greibach-Normalform
  • Pumping-Lemma für CFLs
- Kontextfreie Sprachen
- Gehalten von Marcel Hark
- Mo, 26.06.2017, 10:15 Uhr
- • Greibach-Normalform
  • Pumping-Lemma für CFLs
  • Kellerautomaten
- Fragestunde
- Di, 27.06.2017, 10:15 Uhr
- Keine Vorlesung, stattdessen Fragestunde
- Kontextfreie Sprachen
- Gehalten von Prof. Rossmanith
- Mo, 03.07.2017, 10:15 Uhr
- • Kellerautomaten
  • Deterministische Kellerautomaten
  • Abschlußeigenschaften kontextfreier Sprachen
- Die Chomsky-Hierarchie
- Gehalten von Prof. Rossmanith
- Di, 04.07.2017, 10:15 Uhr
- • Abschlusseigenschaften kontextfreier Sprachen
  • Chomsky-Hierarchie
- Prozesse
- Gehalten von Prof. Rossmanith
- Mo, 10.07.2017, 10:15 Uhr
- • Wiederholung Kontextfreie Sprachen
  • Synchronisierte Produkte von Automaten
- Evaluationsbesprechung
- Di, 11.07.2017, 10:15 Uhr
- Vorlesung entfällt aufgrund der Evaluationsbesprechung
- Prozesse
- Gehalten von Prof. Rosmanith
- Mo, 17.07.2017, 10:15 Uhr
- • Synchronisierte Produkte von Automaten
  • Petrinetze
- Prozesse
- Gehalten von Prof. Rosmanith
- Di, 18.07.2017, 10:15 Uhr
- • Synchronisierte Produkte von Automaten
  • Petrinetze