703603 VO Formale Sprachen und Automatentheorie

Wintersemester 2023/2024 | Stand: 29.09.2023 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703603
VO Formale Sprachen und Automatentheorie
VO 2
3
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbstständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für formale Sprachen und die Methoden der Automatentheorie erlangt haben.
endliche Automaten; reguläre Ausdrücke; kontextfreie Grammatiken; Kellerautomaten; Turing-Maschinen; Unentscheidbarkeit

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

schriftliche Prüfung

Diese Lehrveranstaltung wird im Rahmen von 703302 VO Automaten und Logik angeboten. Die Anmeldung erfolgt über 703302.

https://www.uibk.ac.at/informatik/studium/master
siehe Termine
siehe Termine VO 703302, ...