LFU:online

Vertieftes Verständnis ausgewählter Spezialisierungsbereiche in Logik und Lernen; Erwerb der Fähigkeit, sich ähnliches Wissen selbst anzueignen. Absolvent:innen dieses Kurses haben ein tiefgreifendes Verständnis von Baumautomaten sowie deren Anwendungen.

Eine Auswahl der folgenden Themen wird behandelt:

• regular tree languages
• tree automata
• minimization
• closure properties
• decision problems
• regular grammars
• regular expressions
• regular relations
• weak monadic second-order logic
• tree automata completion
• first-order theory of rewriting
• automata with constraints
• tree set automata
• tree transducers

Kontinuierliche Beurteilung durch regelmäßige schriftliche und mündliche Beiträge. Am Ende des Semester wird eine optionale schriftliche Prüfung angeboten.

Umfangreiche Vorlesungsfolien. Begleitende Literatur wird auf der Kurswebseite verlinkt.

Keine. Grundlagenmaterial zu endlichen Wortautomaten wird in der ersten Einheit wiederholt.

Der Kurs wird auf Englisch abgehalten.