Concepts et Model Checking

dans l'examen si elles y sont utiles. ? Langages rationnels, expressions rationnelles, automates (chapitres 3 et 4, cf. aussi TD 1, TP 1).

afig - groplan