Transductions de forêts reconnaissables monadiques, forêts corégulières
André Arnold, Max Dauchet (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Un algorithme de calcul formel des séries énumératrices de langage linéaire”
Transductions de forêts reconnaissables monadiques, forêts corégulières
Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes
Patrice Naudin (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Systèmes de déduction pour les arbres et les schémas de programmes (I)
P. Enjalbert (1980)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Sur les ensembles de mots infinis engendrés par une grammaire algébrique
Maurice Nivat (1978)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Langages de parenthèses, langages N.T.S. et homomorphismes inverses
J.-M. Autebert, L. Boasson, G. Sénizergues (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Transducteurs finis d'arbres et tests d'égalité
E. Lilin (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Une application élémentaire des grammaires génératives au dénombrement d'une certaine classe d'arbres
M. Eytan (1968)
Mathématiques et Sciences Humaines
Similarity: