Langages formels, calculabilité et complexité: Licence et Master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques