User Tools

Site Tools


teaching:2009winter:automatengrammatiken

Automaten und Grammatiken (Seminar im WS 2009/10)


392020 Jens Stoye Di 10-12 U10-146 ekvv

Zeitplan:

13.10.2009 Vorbesprechung
20.10.2009 Beratung
27.10.2009 (entfällt)
03.11.2009 Beratung
10.11.2009 Minimierung von Automaten, Normalformen, Nichtdeterministische Automaten Christian Peikert
17.11.2009 (entfällt)
24.11.2009 Parser, Compiler, Modellprüfung Björn Astroth
01.12.2009 Beratung
08.12.2009 (entfällt)
15.12.2009 (entfällt)
22.12.2009 (entfällt)
12.01.2010 Petrinetze Kai F. Engelmann
19.01.2010 (entfällt)
26.01.2010 (entfällt)
02.02.2010 (entfällt)

Kriterien für die Vergabe von Leistungspunkten:

Grundlage für die Vergabe der Leistungspunkte ist die regelmäßige und aktive Teilnahme am Seminar. Für einen erfolgreich gehaltenen Vortrag werden 2LP (unbenotet) vergeben, für eine schriftliche Ausarbeitung 2LP (benotet). Der Vortrag soll ca. 45 Minuten dauern. Die Ausarbeitung soll 15-20 Seiten umfassen und muss spätestens 2 Wochen nach dem Vortrag abgegeben werden.

Inhalt:

Automaten und Grammatiken spielen in vielen Teildisziplinen der Informatik eine wichtige Rolle.

Dieses Seminar soll Studierenden die Möglichkeit geben, sich intensiv mit den grundlegenden Definitionen und Eigenschaften von formalen Sprachen, Grammatiken und Automaten zu beschäftigen, sowie mit ausgewählten Modellierungs- und algorithmischen Fragestellungen aus verschiedenen Teilgebieten der Informatik, bei denen Grammatiken und Automaten zum Einsatz kommen.

Vorträge können u.a. aus den folgenden Bereichen ausgewählt werden:

  • Sprachklassen und zugehörige Automaten, Chomsky-Hierarchie
  • Syntax und Semantik
  • Parser und Compiler
  • Turingmaschinen und Berechenbarkeit
  • Stochastische Grammatiken und Automaten
  • Modellprüfung (Model Checking)
  • Endliche Automaten in der Sequenzanalyse
  • Baumautomaten
  • Petrinetze

Dieses Seminar unterstützt das Modul “Spezielle Algorithmen der Bioinformatik”, wird aber außer der Reihe, zusätzlich angeboten.

Teilnahmevoraussetzungen:

Algorithmen und Datenstrukturen I & II

Back to Teaching

teaching/2009winter/automatengrammatiken.txt · Last modified: 2016/05/12 13:32 by Lukas Pfannschmidt