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 :

Références utilisées dans les versions de ce développement :

Le Langage des machines, Floyd, Beigel (utilisée dans 7 versions au total)