LIF15 Théorie des langages formels - CNRS

exercices corrigés minimisation automates