• Cours Grammaires jusqu'à grammaire linéaire
• Fin TD Automates et TD Kleene ex 1 et 3.

À faire :

• MPI* : ex 4 et 5 du TD Kleene
• MPI : finir ex 2 du TD Kleene

Fin du cours théorème de Kleene.

• TD Automates : jusqu'à Ex3 Q4 en MPI et Ex5 Q2 en MPI*.
• À faire pour jeudi prochain : Ex 3 et 4 pour MPI et Ex 4 et 5 pour MPI*.

• DS 1 : Mines-Pont 2025 MP
• Fin du cours automates
• Cours théorème de Kleene jusqu'à "automate local"

• Cours automates jusqu'à "Stabilité par intersection, union et différence"
• Finir preuve de "Stabilité par intersection, union et différence"

• TD Langages jusqu'à exercice 4 en MPI et exo 5 en MPI*.
• Exercice 5 en MPI et exercice 6 en MPI* à faire pour jeudi suivant.

• Fin du cours langages
• Cours automates jusqu'à "automate complet"
• DM 1 à faire pour le 22/08

• Cours langages jusqu'à "Exercice 9"
• Exercice 9 à faire pour le prochain cours

• Accueil de la classe
• Cours langages jusqu'à "Opérations sur les langages"

Pour pouvoir utiliser un environnement de développement en ligne avec Visual Code, OCaml, utop, gcc :

• S'incrire sur GitHub (Sign Up).
• Aller sur https://github.com/mpi-lamartin/environnement et cliquer sur le bouton Code puis "Create codespace on main".
• Vous pouvez retrouver votre codespace en cliquant sur le menu en haut à gauche puis "Codespaces".
• Les fichiers sont normalement sauvegardés en ligne... Vous pouvez quand même télécharger (dans "fichier") des fichiers importants pour être sûr de ne pas les perdre.
• Par défaut vous avez le droit à 120h/mois d'utilisation, ce qui devrait être suffisant. Vous pouvez demander un compte étudiant pour avoir 180h/mois : https://github.com/education/students.

Vidéo explicative