Problème de séparation par automate : Différence entre versions
De AgregmathKL
| Ligne 15 : | Ligne 15 : | ||
[[Category: Développement de la leçon 909]] | [[Category: Développement de la leçon 909]] | ||
[[Category: Développement de la leçon 915]] | [[Category: Développement de la leçon 915]] | ||
| + | [[Category: Développement de la leçon 928]] | ||
Version du 26 février 2015 à 22:29
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
Recasements :
