... von eurer Lieblinξfaχschaft
und eurem Lieblinξverein

Vorlesungen online

Formale Systeme, Automaten, Prozesse zum Feed...

Semester: SS09
Veranstalter: Prof. Rossmanith
Bemerkungen: Seite des Lehrstuhls
Do, 16.04.09 Organisatorisches, Motivation, Künstliche Pflanzen, Alphabete, Wörter, Sprachen
Sorry für den schlechten Ton
720p 418 MB
im Browser abspielen
Di, 21.04.09 Alphabete, Wörter, Sprachen, Reguläre Ausdrücke
720p 247 MB
Format unbekannt 229 MB
im Browser abspielen
Do, 23.04.09 Reguläre Ausdrücke, Endliche Automaten
720p 507 MB
im Browser abspielen
Di, 28.04.09 Endliche Automaten
720p 310 MB
im Browser abspielen
Do, 30.04.09 Nichtdeterministische endliche Automaten, Die Potenzmengenkonstruktion
720p 502 MB
im Browser abspielen
Di, 05.05.09 NFAs mit Epsilon-Übergängen
720p 259 MB
im Browser abspielen
Do, 07.05.09 Thompson Konstruktion, Satz von Myhill-Nerode, Konstruktion von DFAs aus Myhill-Nerode Äquivalenzklassen
720p 468 MB
im Browser abspielen
Di, 12.05.09 Myhill-Nerode Äquivalenzklassen, Minimierung von DFAs
720p 269 MB
im Browser abspielen
Do, 14.05.09 Minimierung von DFAs, Automat -> regulärer Ausdruck
HDV 1.36 GB
720p 563 MB
480p 173 MB
im Browser abspielen
Di, 19.05.09 Eliminierung von Zuständen, Pumping Lemma
720p 263 MB
im Browser abspielen
Di, 26.05.09 Pumping Lemma, Entscheidungsprobleme für reguläre Sprachen, Kontextfreie Grammatiken
HDV 689 MB
720p 285 MB
480p 84.2 MB
im Browser abspielen
Do, 28.05.09 Ableitungsbäume, eindeutige Grammatiken, Arithmetische Ausdrücke parsen und auswerten
720p 520 MB
im Browser abspielen
Di, 09.06.09 Pre*
720p 251 MB
im Browser abspielen
Di, 16.06.09 Beweis der Regularität von Pre*(L), falls L regulär
HDV 722 MB
720p 298 MB
480p 88.2 MB
im Browser abspielen
Do, 18.06.09 Entscheidungsprobleme für kontextfreie Grammatiken, Post'sches Korrespondenzproblem
HDV 1.44 GB
720p 595 MB
480p 176 MB
im Browser abspielen
Di, 23.06.09 Fortsetzung: Universalitätsproblem, Epsilon-Elimination für CFL
HDV 711 MB
720p 294 MB
480p 87.6 MB
im Browser abspielen
Do, 25.06.09 Chomsky Normalform, Greibach Normalform
HDV 1.42 GB
720p 587 MB
480p 174 MB
im Browser abspielen
Di, 30.06.09 Pumping Lemma für Kontextfreie Sprachen, Kellerautomaten
HDV 684 MB
480p 85.1 MB
Format unbekannt 283 MB
im Browser abspielen
Do, 02.07.09 Kellerautomaten, Äquivalenz verschiedener Akzeptanzmodelle, Kellerautomaten aus Kontextfreien Grammatiken konstruieren
HDV 1.21 GB
720p 498 MB
480p 147 MB
im Browser abspielen
Di, 07.07.09 Kontextfreie Grammatiken aus Kellerautomaten konstruieren, Deterministische Kellerautomaten, Abgeschlossenheit von DCFL unter Komplement
HDV 735 MB
720p 304 MB
480p 90.1 MB
im Browser abspielen
Do, 09.07.09 Abgeschlossenheit von DCFL unter Komplement, Abgeschlossenheits-Eigenschaften von CFL und DCFL, Chomsky Hierarchie
HDV 1.34 GB
480p 164 MB
Format unbekannt 554 MB
im Browser abspielen
Di, 14.07.09 Chomsky-Hierarchie, nebenläufige Prozesse, synchronisierte Produkte von Automaten
HDV 735 MB
720p 304 MB
480p 90.3 MB
im Browser abspielen
Do, 16.07.09 Synchronisierte Produkte von Automaten, Mutex, Verfahren von Peterson
HDV 965 MB
480p 118 MB
640x512 399 MB
im Browser abspielen
Di, 21.07.09 Petrinetze
HDV 508 MB
720p 210 MB
480p 62.6 MB
im Browser abspielen
Do, 23.07.09 Petrinetze
1080p 1.15 GB
720p 476 MB
480p 148 MB
im Browser abspielen
Admin Bereich:

Fachschaft I/1, Mathematik/Physik/Informatik
RWTH Aachen