Uusi opinto-opas (sisältäen myös opetusohjelmat) lukuvuodelle 2018-2019 sijaitsee osoitteessa https://opas.peppi.utu.fi . Tältä sivustolta löytyvät enää vanhat opinto-oppaat ja opetusohjelmat.

The new study guide (incl. teaching schedules) for academic year 2018-2019 can be found at https://studyguide.utu.fi. This site contains only previous years' guides.

x !
Arkistoitu opetussuunnitelma 2014–2016
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MATE5225 Automata and Formal Languages 10 op
Organised by
Person in charge
Department of Mathematics and Statistics, Jarkko Kari
Preceding studies
mathematical maturity

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.


Automata theory constitutes a cornerstone of mathematical computer science, and in particular finite automata have turned out to be very useful tools in many areas of discrete mathematics. Different models of automata in classical Chomsky hierarchy as well as corresponding grammars are considered and their generating power is compared. Basic undecidability results are proved.

Teaching methods

Teaching method Contact Online
Lectures 56 h 0 h
Exercises 26 h 0 h

Not lectured 2014-2016.

Teaching language


Modes of study

Option 1
Available for:
  • Degree Programme Students
  • Other Students
  • Doctoral Students
  • Exchange Students
  • In English
Written exam
  • In English

or weekly exercises and midterm exams


Numeric 0-5.

Study materials

lecture notes

Belongs to following study modules

Tulevaisuuden teknologioiden laitos
Matematiikan ja tilastotieteen laitos
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Implementation details are unavailable.
Matematiikan ja tilastotieteen laitos