Etant donné un automate d'état finis non déterministe:
je veux un programme  en c/c++ qui permet de :
-->editer,modifier,sauvegarder un automate régulier dans un fichier;
-->déterminer un automate d'etat finis déterministe equivalent
-->minimiser cet automate;
-->générer le programme pascal correspond à l'automate minimal;