703604 PS Formal Language and Automata Theory

winter semester 2018/2019 | Last update: 16.10.2018 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
Dr. Vincent van Oostrom

Course number:

703604

Title:

PS Formal Language and Automata Theory

Type/hours:

PS 1

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Learning Outcome:

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.

Contents:

Finite automata; regular expressions; context-free grammars; pushdown automata; Turing machines; undecidability.

Methods:

Continuous assessment (based on regular written and/or oral contribution by participants).

Assessment:

Course examination according to § 7, statute section on "study-law regulations"

Literature:

Will be discussed in the first lesson.

Link:

http://cl-informatik.uibk.ac.at/teaching/ws18/flat

Start:

see dates

allocated to study field

Faculty of Mathematics, Computer Science and Physics

Master's Programme Computer Science according to the Curriculum 2007 (120 ECTS-Credits, 4 semesters)

First and Second Semester

Compulsory Module 2: Formal Language and Automata Theory (5 ECTS-Credits, 3 h)

Dates

Group 1	Export course dates of this group as iCalendar (.ics) Help
Kaliszyk C.
Date	Time	Location
Tue 2018-10-09	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-10-16	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-10-23	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-10-30	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-11-06	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-11-13	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-11-20	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-11-27	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-12-04	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2018-12-11	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2019-01-08	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2019-01-15	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2019-01-22	09.15 - 10.00	SR 13 SR 13	Barrier-free
Tue 2019-01-29	09.15 - 10.00	SR 13 SR 13	Barrier-free
Group 2	Export course dates of this group as iCalendar (.ics) Help
van Oostrom V.
Date	Time	Location
Tue 2018-10-09	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-10-16	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-10-23	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-10-30	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-11-06	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-11-13	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-11-20	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-11-27	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-12-04	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2018-12-11	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2019-01-08	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2019-01-15	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2019-01-22	08.15 - 09.00	SR 13 SR 13	Barrier-free
Tue 2019-01-29	08.15 - 09.00	SR 13 SR 13	Barrier-free