Automates finis (et langages réguliers)

Au delà du contenu du cours (la théorie des langages réguliers et ses applications en informatique), un objectif du cours est d'illustrer comment on construit une théorie mathématique, ainsi que la déraisonnable efficacité des mathématiques pour structurer notre pensée...

Mode d'emploi

Vous trouverez dans Documents les supports de cours. Des solutions aux exercices se trouvent dans son dossier Solutions mais il ne faut les regarder qu'après avoir réellement cherché vos propres solutions. Les sujets d'examen des dernières années se trouvent dans le répertoire Annales_Examens.

Pour toute question, contactez par mail : sylvain.boulme@imag.fr.

Actualités (et derniers errata)

Les énoncés et leur correction sont rectifiés au fur et à mesure. Les modifs sont résumées ci-dessous (et signalées en cours). Mais, si vous avez téléchargé une ancienne version électronique - vous pouvez aussi voir les corrections de la dernière version, en utilisant diffpdf.

• 03/09/2025 pour le rendu du dimanche 6 septembre 19h envoyez-moi un email, avec votre fichier Python en pièce jointe, à cette adresse avec [1AA-2026-RENDU1] en sujet. Ceci permet de fonctionner en attendant que la plateforme de gestion des travaux encadrés - TEIDE - soit fonctionnelle.

Planning des séances

• Semaine 1: introduction aux cours d'informatique théorique et Éléments de théorie des langages et de théorie des ensembles (aka Feuille 02).
  Ce dernier support de cours contient un TP à finir en temps libre qui sera à rendre avant dimanche 6 septembre 19h (cf. ci-dessus).
  Pour les plus motivé·es, voilà une version étendue avec des compléments optionnels, qui peut servir à mieux comprendre certaines notions utilisées dans ce cours, comme les fonctions mathématiques ou la notion de bijection. N'hésitez pas à (re)consulter ce document au fil du semestre...

Annales des examens