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

Versions :