Problème de séparation par automate

De AgregmathKL

Révision de 11 avril 2012 à 14:52 par Basile (discuter | contributions) (unification de PSA et Problème de séparation par automates)

(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 automates (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=512 »