Problème de séparation par automate
De AgregmathKL
Révision de 11 avril 2012 à 14:58 par Basile (discuter | contributions) (On ne sépare qu'avec un seul automate.)
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