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.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.

Versions :