Vérifier si deux automates sont équivalents
Vérifier si deux automates sont équivalents