703604 PS Formale Sprachen und Automatentheorie

Wintersemester 2022/2023 | Stand: 20.06.2022 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Christina Kirk, BSc MSc Christina Kirk, BSc MSc
703604
PS Formale Sprachen und Automatentheorie
PS 1
2
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

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

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

https://www.uibk.ac.at/informatik/studium/master
siehe LV 703.303, ...