Minimal

Rendre un automate minimal. i.e. le nouvel automate reconnaît le même langage 
que l'automate original et a le nombre minimal d'états possible tout en respectant la 
première condition. Cela signifie qu'aucun état ne peut être supprimé de l'automate 
sans changer le langage qu'il reconnaît.