Développement : Universalité d'un langage rationnel [no pdf]

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 2023 :

  • Pas de recasages pour cette année.

Versions :