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 !
Archived Curricula Guide 2014–2016
Curricula Guide is archieved. Please refer to current Curricula Guides
MATE5225 Automata and Formal Languages 10 ECTS
Organised by
Mathematics
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.

Contents

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

English

Modes of study

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

or weekly exercises and midterm exams

Evaluation

Numeric 0-5.

Study materials

lecture notes

Belongs to following study modules

Department of Future Technologies
Department of Mathematics and Statistics
2014–2015
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Implementation details are unavailable.
Department of Mathematics and Statistics
DP in Mathematics and Statistics
DP in Mathematics
Finnish Study Modules
DP in Statistics
Statistics