Problème de séparation par automate

De AgregmathKL

Révision de 11 avril 2012 à 15:58 par Basile (discuter | contributions) (On ne sépare qu'avec un seul automate.)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)

Aller à : navigation, rechercher

On montre que le problème de séparatation de langages par automate (PSA) est NP-Complet.

Version de Kévin 2012

Séparons les langages

Récupérée de « https://minerve.ens-rennes.fr/index.php?title=Problème_de_séparation_par_automate&oldid=514 »