Angewandte Automatentheorie

» Diese Veranstaltung wird auf deutsch gehalten.

» Es gibt einen L2P-Lernraum zu dieser Veranstaltung.

Vorlesung im Sommersemester 2010

Art Termine / Ort Beginn Veranstalter
V3 Mi 10:00–11:30, AH IV
Do 09:00–09:45, AH III 		14.04.2010 Thomas
Ü2 Mi 13:30–15:00, AH IV 14.04.2010 Thomas, Neider

Bitte beachten Sie: Der Donnerstagstermin wurde von 11:45-12:30 Uhr auf 9:00-9:45 Uhr verschoben. Die Zeit von 8:45-9:00 Uhr wird für eventuelle Ausfälle genutzt.

Die Übungen zur Vorlesung unterscheiden sich für Studierende im Bachelorstudiengang Informatik und im Masterstudiengang Informatik.

Inhalt

In dieser Theorievorlesung werden grundlegende Begriffsbildungen und Ergebnisse der Automatentheorie vorgestellt, die in den Anwendungen bei der Verwendung von Automaten zur Informationsverarbeitung oder zur Systemkonstruktion und -analyse benötigt werden. Themenstichworte sind:

  • Simulation, Bisimulation und effiziente Minimierung von Automaten
  • Algorithmisches Lernen im Kontext der Automatentheorie
  • Gewichtete Automaten (einschließlich probabilistischer Automaten)
  • Automaten und Logik-Sprachen
  • Pushdown-Systeme
  • Unentscheidbare Probleme der Automatentheorie
  • Petrinetze

Die Inhalte der Vorlesung werden zum großen Teil von dem Skript Applied Automata Theory abgedeckt.

L2P-Integration und Anmeldung

Zu dieser Veranstaltung ist ein L2P-Lernraum verfügbar, in dem sämtliche Informationen und Materialien zur Vorlesung und Übung zur Verfügung gestellt werden. Eine Anmeldung über CampusOffice ist erforderlich.

Sprache

Deutsch

Leistungen

Klausurarbeit oder mündliche Prüfung

Vorwissen

Pflichtvorlesungen des Clusters "Theoretische Informatik"