Automatentheorie
Modulnummer: W08-20
Englischer Titel: Automata Theory
Leistungspunkte: 8
Lehrperson: Frochaux
Empfohlene Vorkenntnisse
Grundlagen aus den Modulen EThI und Logik in der Informatik
Zwingende Voraussetzungen
keine
Inhalt
Wir befassen uns in der Vorlesung mit der Theorie endlicher Automaten
auf endlichen und unendlichen Wörtern, sowie auf Bäumen.
Hierbei untersuchen wir verschiedene Typen von Automaten, deren
Abschlusseigenschaften und Umwandlungsmöglichkeiten zwischen
verschiedenenen Modellen, verschiedene Entscheidungsprobleme (bspw.
Leerheits- oder das Äquivalenzproblem) und deren Beziehungen zu
verschiedenen Logiken wie LTL, CTL und MSO.
Erforderliche Arbeitsleistungen für LP-Vergabe und Prüfungszulassung
- schriftlich eingereichte und/oder mündlich vorgetragene Lösungen zu Aufgaben
- aktive Teilnahme
Lehrveranstaltungen
Vorlesung: 4 SWS 4 LP
Übung: 2 SWS 3 LP
MAP: 1 LP
Forschungsorientiert
ja
Angeboten für Studiengänge
Monobachelor: ja
Kombinationsbachelor: ja
Infomit: ja
Angeboten im
Wintersemester: nein
Sommersemester: nein
Turnus
Unregelmäßig