Problème de séparation par automate

De AgregmathKL
Révision de 27 mars 2015 à 12:52 par Mathias Millet (discuter | contributions)

(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.

PSA est NP-complet

Version de Kévin 2012

Séparons les langages

Recasements :