Formale Systeme, Automaten, Prozesse
-
-
Organisatorisches, Motivation, Künstliche Pflanzen, Alphabete, Wörter, Sprachen
- Do, 16.04.2009, 10:00 Uhr
- Sorry für den schlechten Ton
-
-
Alphabete, Wörter, Sprachen, Reguläre Ausdrücke
- Di, 21.04.2009, 08:15 Uhr
-
-
Reguläre Ausdrücke, Endliche Automaten
- Do, 23.04.2009, 10:00 Uhr
-
-
Endliche Automaten
- Di, 28.04.2009, 08:15 Uhr
-
-
Nichtdeterministische endliche Automaten, Die Potenzmengenkonstruktion
- Do, 30.04.2009, 10:00 Uhr
-
-
NFAs mit Epsilon-Übergängen
- Di, 05.05.2009, 08:15 Uhr
-
-
Thompson Konstruktion, Satz von Myhill-Nerode, Konstruktion von DFAs aus Myhill-Nerode Äquivalenzklassen
- Do, 07.05.2009, 10:00 Uhr
-
-
Myhill-Nerode Äquivalenzklassen, Minimierung von DFAs
- Di, 12.05.2009, 08:15 Uhr
-
-
Minimierung von DFAs, Automat -> regulärer Ausdruck
- Do, 14.05.2009, 10:00 Uhr
-
-
Eliminierung von Zuständen, Pumping Lemma
- Di, 19.05.2009, 08:15 Uhr
-
-
Pumping Lemma, Entscheidungsprobleme für reguläre Sprachen, Kontextfreie Grammatiken
- Di, 26.05.2009, 08:15 Uhr
-
-
Ableitungsbäume, eindeutige Grammatiken, Arithmetische Ausdrücke parsen und auswerten
- Do, 28.05.2009, 10:00 Uhr
-
-
Pre*
- Di, 09.06.2009, 08:15 Uhr
-
-
Beweis der Regularität von Pre*(L), falls L regulär
- Di, 16.06.2009, 08:15 Uhr
-
-
Entscheidungsprobleme für kontextfreie Grammatiken, Post'sches Korrespondenzproblem
- Do, 18.06.2009, 10:00 Uhr
-
-
Fortsetzung: Universalitätsproblem, Epsilon-Elimination für CFL
- Di, 23.06.2009, 08:15 Uhr
-
-
Chomsky Normalform, Greibach Normalform
- Do, 25.06.2009, 10:00 Uhr
-
-
Pumping Lemma für Kontextfreie Sprachen, Kellerautomaten
- Di, 30.06.2009, 08:15 Uhr
-
-
Kellerautomaten, Äquivalenz verschiedener Akzeptanzmodelle, Kellerautomaten aus Kontextfreien Grammatiken konstruieren
- Do, 02.07.2009, 10:00 Uhr
-
-
Kontextfreie Grammatiken aus Kellerautomaten konstruieren, Deterministische Kellerautomaten, Abgeschlossenheit von DCFL unter Komplement
- Di, 07.07.2009, 08:15 Uhr
-
-
Abgeschlossenheit von DCFL unter Komplement, Abgeschlossenheits-Eigenschaften von CFL und DCFL, Chomsky Hierarchie
- Do, 09.07.2009, 10:00 Uhr
-
-
Chomsky-Hierarchie, nebenläufige Prozesse, synchronisierte Produkte von Automaten
- Di, 14.07.2009, 08:15 Uhr
-
-
Synchronisierte Produkte von Automaten, Mutex, Verfahren von Peterson
- Do, 16.07.2009, 10:00 Uhr
-
-
Petrinetze
- Di, 21.07.2009, 08:15 Uhr
-
-
Petrinetze
- Do, 23.07.2009, 10:00 Uhr