Bonjour,

Je me demandais comment il était possible de démontrer que tout automate fini non déterministe peut être converti en automate fini non déterministe qui contient un seul état accepteur.

Merci à l'avance