Corrigé de l'exercice 3 du TD2 (Automates et Langages Formels)

Corrigé de l'exercice 3 du TD2 (Automates et Langages Formels). 1. On vérifie la symmétrie, la réflexivité et la transitivité.