703603 VO Formale Sprachen und Automatentheorie

Wintersemester 2020/2021 | Stand: 02.02.2021 LV auf Merkliste setzen
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

Dexter Kozen, Automata and Computability, Springer-Verlag, 1997, ISBN 0-387-94907-0

keine

Der Kurs wird online angeboten.

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 05.10.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 12.10.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 19.10.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 09.11.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 16.11.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 23.11.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 30.11.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 07.12.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 14.12.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 11.01.2021
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 18.01.2021
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 25.01.2021
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 01.02.2021
08.00 - 10.00 eLecture - online eLecture - online 1. Prüfung
Do 25.02.2021
09.00 - 11.00 eLecture - online eLecture - online 2. Prüfung
Mo 27.09.2021
09.00 - 11.00 HSB 3 HSB 3 Barrierefrei 3. Prüfung