Differences

This shows you the differences between two versions of the page.

--- teaching:2009winter:automatengrammatiken [2010/01/12 09:41]
+++ teaching:2009winter:automatengrammatiken [2020/02/14 09:07] (current)
@@ Line 1: / Line 1: @@
+====== Automaten und Grammatiken (Seminar im WS 2009/10) ======
+\\
+| 392020 | Jens Stoye | Di 10-12 | U10-146 | [[http://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=12963904|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]]

Genome Informatics

Differences