703603 VO Formale Sprachen und Automatentheorie

Wintersemester 2022/2023 | Stand: 20.06.2022 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
keine Angabe
keine Angabe
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 LV 703.302, ...