Développement : Universalité d'un langage rationnel

Détails/Enoncé :

Le problème de déterminer si une expression rationnelle engendre le langage universel est PSPACE-complet.

Versions :