Wednesday 15:45 - 17:45
Objectif du cours
Study various connections with automata and other fields of mathematics. In particular the equivalence automata<=>finite monoids<=>MSO Logic will be deeply investigated.
Apply this to obtain decidability and complexity results.
Being able to understand and explain research papers.
Not completely mandatory but it will be harder if you are not already familiar with the following:
Basic algebra (groups, morphisms).
Basic knowledge on logics (syntax and semantics of first-order logic).
Frequently some little exercises to do for next time.
One research paper to read, your understanding will be checked via your written report and a short oral individual oral exam.
Final exam: exercises on the content of the course.
weeks starting on 15/11, 23/11, 30/11, 07/12, 14/12, 04/01, 11/01, 18/01 et 25/01,
with two vacation weeks starting on 20/12 et 27/12 (Christmas).
Cours du MPRI de Jean-Eric Pin: Mathematical Foundations of Automata Theory