703604 PS Formal Language and Automata Theory

winter semester 2019/2020 | Last update: 21.10.2019 | Place course on memo list

Department:

Department of Computer Science

Instructor:

Christina Kirk, BSc MSc

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.

OLAT:

https://lms.uibk.ac.at/url/RepositoryEntry/4534665230

Link:

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

Start:

see dates

Course allocation

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
Kirk C.
Date	Time	Location
Fri 2019-10-11	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2019-10-25	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2019-11-08	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2019-11-15	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2019-11-22	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2019-11-29	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2019-12-06	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2019-12-13	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2020-01-10	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2020-01-17	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2020-01-24	08.15 - 09.00	HS 11 HS 11	Barrier-free
Fri 2020-01-31	08.15 - 09.00	HS 11 HS 11	Barrier-free
Group 2	Export course dates of this group as iCalendar (.ics) Help
Kirk C.
Date	Time	Location
Fri 2019-10-11	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2019-10-25	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2019-11-08	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2019-11-15	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2019-11-22	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2019-11-29	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2019-12-06	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2019-12-13	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2020-01-10	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2020-01-17	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2020-01-24	09.15 - 10.00	HS 11 HS 11	Barrier-free
Fri 2020-01-31	09.15 - 10.00	HS 11 HS 11	Barrier-free