Liens transverses ENS de Lyon

INFO5164 : Mathematical aspects of automata theory

Mathematical aspects of automata theory

Niveau M2

Discipline(s) Informatique

ECTS 5.00

Période 1e semestre

Localisation Site Monod

Année 2021-2022

 Public externe (ouverts aux auditeurs de cours)

Lundi Matin
Mercredi Après-midi
Horaires du cours
Monday 10:15- 12:15
Wednesday 15:45 - 17:45

Wave 2
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.

wave 2:

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

Modifié le :
06/09/2021 17:57:52