Rationnalité du langage de pile

Pour tout automate à pile $A$, le langage $L_A$ est rationnel.
Qualité Numéro Titre

Versions

Rajouter une version
Utilisateur : Timothée
Références :