Ajout fonction pour déterminer si l'automate est déterministe, s'il est complet; implémentation partielle de la fonction pour supprimer les epsilon transition