703603 VO Formal Language and Automata Theory

winter semester 2018/2019 | Last update: 08.01.2019 Place course on memo list
Department of Computer Science Department of Computer Science
Dr. Vincent van Oostrom Dr. Vincent van Oostrom
703603
VO Formal Language and Automata Theory
VO 2
3
weekly
annually
English
Students who have completed this module should understand the topics covered in the lecture, and be able to express and apply them. They should be able to independently acquire similar knowledge and have a basic understanding of formal languages and the methods of automata theory.
Finite automata; regular expressions; context-free grammars; pushdown automata; Turing machines; undecidability.

Lecture, assessment is based on a single examination at the end of the course.

written exam

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

none

http://cl-informatik.uibk.ac.at/teaching/ws18/flat
see dates
Group 0
Export course dates of this group as iCalendar (.ics)
Help
Date Time Location
Wed 2018-10-03
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-10-10
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-10-17
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-10-24
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-10-31
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-11-07
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-11-14
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-11-21
 16.15 - 18.00 HSB 6 HSB 6 Barrier-free
Wed 2018-11-28
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-12-05
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2018-12-12
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2019-01-09
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2019-01-16
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2019-01-23
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Wed 2019-01-30
 16.15 - 18.00 HSB 1 HSB 1 Barrier-free
Thu 2019-02-28
 09.00 - 11.00 SR 13 SR 13 Barrier-free 2nd exam
Thu 2019-09-26
 09.00 - 11.00 SR 13 SR 13 Barrier-free 3nd exam