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

• Langages réguliers : tout le cours.
• Automate : jusqu'à "automate complet"

• 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