703603 VO Formale Sprachen und Automatentheorie

Wintersemester 2018/2019 | Stand: 08.01.2019 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Dr. Vincent van Oostrom Dr. Vincent van Oostrom
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

http://cl-informatik.uibk.ac.at/teaching/ws18/flat
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 03.10.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 10.10.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 17.10.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 24.10.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 31.10.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 07.11.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 14.11.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 21.11.2018
 16.15 - 18.00 HSB 6 HSB 6 Barrierefrei
Mi 28.11.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 05.12.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 12.12.2018
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 09.01.2019
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 16.01.2019
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 23.01.2019
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Mi 30.01.2019
 16.15 - 18.00 HSB 1 HSB 1 Barrierefrei
Do 28.02.2019
 09.00 - 11.00 SR 13 SR 13 Barrierefrei 2nd exam
Do 26.09.2019
 09.00 - 11.00 SR 13 SR 13 Barrierefrei 3nd exam