Salut, j'ai besoin d'aide; en effet je cherche un programme qui transforme un automate fini non-déterministe (afnd) en un un automate fini déterministe (afd). ou encore un programme qui prend en entrée un un automate fini déterministe (afd) et le minimise (en un automate fini déterministe complet). Merci d'avance...