RICM3 ? Automates et Grammaires Exercice 1 - [Verimag]

Corrigé de l'exercice 3 du TD2 (Automates et Langages Formels). 1. On vérifie la symmétrie, la réflexivité et la transitivité. 2. Si u n'est pas un préfixe ...