703603 VO Formale Sprachen und Automatentheorie

Wintersemester 2019/2020 | Stand: 03.09.2020 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

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 07.10.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 14.10.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 21.10.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 28.10.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 04.11.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 11.11.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 18.11.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 25.11.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 02.12.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 09.12.2019
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 13.01.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 20.01.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei
Mo 27.01.2020
08.15 - 10.00 HS D (Technik) HS D (Technik) Barrierefrei 1. Prüfung
Fr 28.02.2020
09.00 - 11.00 HS D (Technik) HS D (Technik) Barrierefrei 2. Prüfung
Fr 25.09.2020
09.00 - 12.00 HSB 3 HSB 3 Barrierefrei 3. Prüfung