703603 VO Formale Sprachen und Automatentheorie

Wintersemester 2021/2022 | Stand: 22.07.2021 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Georg Moser, +43 512 507 53213

LV-Nummer:

703603

Titel:

VO Formale Sprachen und Automatentheorie

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

keine Angabe

Wiederholungsturnus:

keine Angabe

Unterrichtssprache:

Englisch

Lernergebnis:

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.

Inhalt:

endliche Automaten; reguläre Ausdrücke; kontextfreie Grammatiken; Kellerautomaten; Turing-Maschinen; Unentscheidbarkeit

Methoden:

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

Prüfungsmodus:

schriftliche Prüfung

eLearning-Anteile:

eLecture (100% virtuelle Lehre)

Anmerkungen:

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

Link:

https://www.uibk.ac.at/informatik/studium/master

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik nach dem Curriculum 2007 (120 ECTS-AP, 4 Semester)

1. und 2. Semester

Pflichtmodul 2: Formale Sprachen und Automatentheorie (5 ECTS-AP, 3 SSt.)

Nachhaltigkeitsziele

SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen