Développement : Rationnalité du langage de pile

Détails/Enoncé :

Pour tout automate à pile $A$, le langage $L_A$ est rationnel.

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 :