Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Bewerbungs-/Statusportal Anmelden

392020 Automaten und Grammatiken (S) (WiSe 2009/2010)

Inhalt, Kommentar

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 "Algorithmen in der Bioinformatik", wird aber außer der Reihe, zusätzlich angeboten.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

Voraussetzungen: Algorithmen und Datenstrukturen I & II

Externe Kommentarseite

http://wiki.techfak.uni-bielefeld.de/gi/Teaching/2009winter/AutomatenGrammatiken

Lehrende

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Ort Zeitraum  

Zeige vergangene Termine >>

Klausuren

  • Keine gefunden

Fachzuordnungen

Studiengang/-angebot Gültigkeit Variante Untergliederung Status Sem. LP  
Bioinformatik und Genomforschung / Bachelor (Einschreibung bis SoSe 2011) Spezielle Algorithmen Pflicht 5. 4 2 LP unbenotet (Vortrag), 2 LP benotet (Ausarbeitung)  
Kognitive Informatik / Bachelor (Einschreibung bis SoSe 2011) Individueller Ergänzungsb Wahl 5. 4 2 LP unbenotet (Vortrag), 2 LP benotet (Ausarbeitung)  
Naturwissenschaftliche Informatik / Bachelor (Einschreibung bis SoSe 2011) Individueller Ergänzungsbereic Wahl 5. 4 2 LP unbenotet (Vortrag), 2 LP benotet (Ausarbeitung)  
Naturwissenschaftliche Informatik / Master (Einschreibung bis SoSe 2012) Angewandte Algorithmik Wahlpflicht 2. 4 2 LP unbenotet (Vortrag), 2 LP benotet (Ausarbeitung)  
Konkretisierung der Anforderungen
Keine Konkretisierungen vorhanden
Lernraum
TeilnehmerInnen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges