Seminar: 2.01.800-J Proseminar Automatenmodelle in der Informatik - Details

Seminar: 2.01.800-J Proseminar Automatenmodelle in der Informatik - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Seminar: 2.01.800-J Proseminar Automatenmodelle in der Informatik
Untertitel inf800
Veranstaltungsnummer 2.01.800-J
Semester WiSe22/23
Aktuelle Anzahl der Teilnehmenden 10
erwartete Teilnehmendenanzahl 15
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Seminar in der Kategorie Lehre
Vorbesprechung Dienstag, 18.10.2022 10:15 - 11:45
Erster Termin Dienstag, 18.10.2022 10:15 - 11:45, Ort: (A03 2-209)
Art/Form S
Lehrsprache --

Räume und Zeiten

(A03 2-209)
Dienstag, 18.10.2022 10:15 - 11:45

Modulzuordnungen

Kommentar/Beschreibung

Endliche Automaten sind ein nützliches und weit verbreitetes Modell für
viele wichtige Arten von Hardware und Software. Dieses Modell wird zusammen mit
damit zusammenhängenden Konzepten wie Grammatiken oder regulären Ausdrücken
im Modul Grundlagen der Theoretischen Informatik (GTI) ausführlich behandelt.

In diesem Seminar werden wir uns hauptsächlich mit Erweiterungen von endlichen
Automaten beschäftigen, welche es uns erlauben, komplexere Systeme zu modellieren.
So können beispielsweise probabilistische Systeme durch probabilistische Automaten
beschrieben werden, welche nichtdeterministische endliche Automaten durch
eine Übergangsfunktion erweitern, oder Realzeitsysteme durch sogenannte timed automata,
welche endliche Automaten um eine endliche Menge von Uhren erweitern.

Eine zentrale Frage ist dabei häufig die Entscheidbarkeit, das bedeutet die Frage danach,
ob ein Computer in endlicher Zeit entscheiden kann, ob ein gegebenes Wort
vom Automaten akzeptiert wird. Falls das der Fall ist, interessiert uns auch die Komplexität
dieser Entscheidung; der Rechenaufwand im Vergleich zur Größe des Automaten.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.
Zurück