Problème de séparation par automate
De AgregmathKL
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 :