703603 VO Formal Language and Automata Theory

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

Department:

Department of Computer Science

Instructor:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

Course number:

703603

Title:

VO Formal Language and Automata Theory

Type/hours:

VO 2

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:

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

Assessment:

written exam

Literature:

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

Prerequisites:

none

Link:

http://cl-informatik.uibk.ac.at/teaching/ws19/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 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Mon 2019-10-07	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-10-14	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-10-21	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-10-28	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-11-04	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-11-11	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-11-18	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-11-25	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-12-02	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2019-12-09	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2020-01-13	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2020-01-20	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free
Mon 2020-01-27	08.15 - 10.00	HS D (Technik) HS D (Technik)	Barrier-free	1. Prüfung
Fri 2020-02-28	09.00 - 11.00	HS D (Technik) HS D (Technik)	Barrier-free	2. Prüfung
Fri 2020-09-25	09.00 - 12.00	HSB 3 HSB 3	Barrier-free	3. Prüfung