Problème de séparation par automate : Différence entre versions
De AgregmathKL
m (unification de PSA et Problème de séparation par automates) |
m (On ne sépare qu'avec un seul automate.) |
||
| Ligne 1 : | Ligne 1 : | ||
| − | On montre que le problème de séparatation de langages par | + | On montre que le problème de séparatation de langages par automate (PSA) est NP-Complet. |
== Version de Kévin 2012 == | == Version de Kévin 2012 == | ||
Séparons les langages | Séparons les langages | ||
| − | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_psa.tex | Problème de séparation par | + | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_psa.tex | Problème de séparation par automate]] |
| − | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_psa.pdf | Problème de séparation par | + | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_psa.pdf | Problème de séparation par automate]] |
Version du 11 avril 2012 à 14:58
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
