x !
Archived teaching schedules 2016–2017
You are browsing archived teaching schedule. Current teaching schedules can be found here.
MATE5225 Automata and Formal Languages 10 ECTS
Period I Period II Period III Period IV
Language of instruction
Type or level of studies
Advanced studies
Course unit descriptions in the curriculum
Department of Mathematics and Statistics

Learning outcomes

To learn the fundamental concepts of formal languages, automata theory and computation theory, such as finite automata, pushdown automata, context-free grammars and Turing machines. To learn their relationships and the basic closure properties. To understand the notion of undecidability, and to be able to prove algorithmic problems undecidable.

Teacher responsible

Jarkko Kari

Homepage URL


Lectures 56 h
Wed 7-Sep-2016 - 26-Oct-2016 weekly at 10-12, M3, Quantum
Fri 9-Sep-2016 - 16-Dec-2016 weekly at 10-12, M3, Quantum
Wed 2-Nov-2016 - 14-Dec-2016 weekly at 10-12, M1, Quantum
Exercises 26 h
Mon 12-Sep-2016 - 12-Dec-2016 weekly at 14-16, M3, Quantum